Резултати
| Назив: | Probabilistic reasoning in computation and simple type theory | Остали називи: | Вероватносно закључивање у израчунавању и теорији функционалних типова Verovatnosno zaključivanje u izračunavanju i teoriji funkcionalnih tipova |
Аутори: | Prokić, Simona | Ментор: | Gilezan, Silvia; Ognjanović, Zoran | Остала ауторства: | Ivetić, Jelena   ; Pagani, Mikele; Petrić, Zoran; Obradović, Jovana; Gilezan, Silvia; Ognjanović, Zoran |
Година: | 2024 | Публикација: | Универзитет у Новом Саду | Издавач: | Универзитет у Новом Саду, Факултет техничких наука | Тип резултата: | Докторска дисертација | URI: | https://nardus.mpn.gov.rs/handle/123456789/22520 https://enauka.gov.rs/handle/123456789/919967 |
М-категорија: | 70M70 - Одбрањена докторска дисертација |
Google ScholarTM