Резултати

еНаука >  Резултати >  Probabilistic reasoning in type systems
Назив: Probabilistic reasoning in type systems
Аутори: Ghilezan, Silvia  ; Ivetić, Jelena  ; Ognjanović, Zoran  ; Savić, Nenad
Година: 2016
Публикација: International conference Logic and Applications LAP 2016 (September 19 - 23, 2016) Dubrovnik, Croatia
Издавач: Beograd : Mathematical Institute of the Serbian Academy of Sciences and Arts
Тип резултата: Конференцијски рад
URI: http://researchrepository.mi.sanu.ac.rs/handle/123456789/3051
https://enauka.gov.rs/handle/123456789/579547
Напомена о доступности: На основу доступних података није могуће утврдити да ли резултат постоји
М-категорија: 
Мп категорија ће бити приказана накнадно.

Пронађи DOI


Google ScholarTM

Резултати на еНаука су заштићени ауторским правима и сва права су задржана, осим ако није другачије назначено.