Резултати
Назив: | Towards Probabilistic reasoning about simply typed lambda terms | Аутори: | Gilezan, Silvia K. ; IVETIĆ, JELENA B. ; KAŠTEROVIĆ, SIMONA Đ. ; Ognjanović, Zoran D. ; SAVIĆ, NENAD D. | Година: | 2017 | Публикација: | Sedma nacionalna konferencija Verovatnosne logike i njihove primene | Издавач: | Mathematical Institute of the SASA | Тип резултата: | Конференцијски рад | Колација: | 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 | Пројекат: | 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 |
Извор метаподатака: | Migracija | М-категорија: | Мп категорија ће бити приказана накнадно. |
Резултати на еНаука су заштићени ауторским правима и сва права су задржана, осим ако није другачије назначено.