Rezultati
| Naziv: | Towards Probabilistic reasoning about simply typed lambda terms | Autori: | Gilezan, Silvia K.   ; IVETIĆ, JELENA B. ; KAŠTEROVIĆ, SIMONA Đ. ; Ognjanović, Zoran D. ; SAVIĆ, NENAD D. |
Godina: | 2017 | Publikacija: | Sedma nacionalna konferencija Verovatnosne logike i njihove primene | Izdavač: | Mathematical Institute of the SASA | Tip rezultata: | Konferencijski rad | Kolacija: | str. 11-12 | URI: | https://enauka.gov.rs/handle/123456789/375848 http://researchrepository.mi.sanu.ac.rs/handle/123456789/4231 |
URL: | http://www.mi.sanu.ac.rs/novi_sajt/research/conferences/vlp2017.pdf | Projekat: | Development of new information and communication technologies, based on advanced mathematical methods, with applications in medicine, telecommunications, power systems, protection of national heritage and education Representations of logical structures and formal languages and their application in computing |
Izvor metapodataka: | Migracija | M-kategorija: | Mp kategorija će biti prikazana naknadno. |
Google ScholarTM
Rezultati na eNauka su zaštićeni autorskim pravima i sva prava su zadržana, osim ako nije drugačije naznačeno.