Резултати
| Naziv: | Probabilistic reasoning in computation and simple type theory | Ostali nazivi: | Вероватносно закључивање у израчунавању и теорији функционалних типова Verovatnosno zaključivanje u izračunavanju i teoriji funkcionalnih tipova |
Autori: | Prokić, Simona | Mentor: | Gilezan, Silvia; Ognjanović, Zoran | Ostala autorstva: | Ivetić, Jelena   ; Pagani, Mikele; Petrić, Zoran; Obradović, Jovana; Gilezan, Silvia; Ognjanović, Zoran |
Godina: | 2024 | Publikacija: | Универзитет у Новом Саду | Izdavač: | Универзитет у Новом Саду, Факултет техничких наука | Tip rezultata: | Doktorska disertacija | URI: | https://enauka.gov.rs/handle/123456789/919967 https://nardus.mpn.gov.rs/handle/123456789/22520 |
Projekat: | Репрезентације логичких структура и формалних језика и њихове примене у рачунарству TaRDIS - Trustworthy and Resilient Decentralised Intelligence for Edge Systems |
M-kategorija: | 70M70 - Odbranjena doktorska disertacija |
Google ScholarTM