Резултати
| Назив: | Probabilistic reasoning in type systems | Аутори: | Ghilezan, Silvia |
Година: | 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 |
Напомена о доступности: | На основу доступних података није могуће утврдити да ли резултат постоји | М-категорија: | Мп категорија ће бити приказана накнадно. |
Резултати на еНаука су заштићени ауторским правима и сва права су задржана, осим ако није другачије назначено.