Results
| Title: | Probabilistic reasoning in computation and simple type theory | Other Titles: | Вероватносно закључивање у израчунавању и теорији функционалних типова Verovatnosno zaključivanje u izračunavanju i teoriji funkcionalnih tipova |
Authors: | Prokić, Simona | Supervisor: | Gilezan, Silvia; Ognjanović, Zoran | Other contributors: | Ivetić, Jelena   ; Pagani, Mikele; Petrić, Zoran; Obradović, Jovana; Gilezan, Silvia; Ognjanović, Zoran |
Issue Date: | 2024 | Publication: | Универзитет у Новом Саду | Publisher: | Универзитет у Новом Саду, Факултет техничких наука | Type: | Doctoral theses | URI: | https://enauka.gov.rs/handle/123456789/919967 https://nardus.mpn.gov.rs/handle/123456789/22520 |
Project: | Репрезентације логичких структура и формалних језика и њихове примене у рачунарству TaRDIS - Trustworthy and Resilient Decentralised Intelligence for Edge Systems |
M-category: | 70M70 |
Google ScholarTM