Резултати
| Назив: | A Branching-time Probabilistic Logic | Аутори: | Doder, Dragan |
Година: | 2011 | Публикација: | Verovatnosne logike i njihove primene, knjiga apstrakata | Издавач: | Matematički institut SANU, Beograd, Srbija | Тип резултата: | Конференцијски рад | Колација: | str. 14-14 | URI: | https://enauka.gov.rs/handle/123456789/166065 | URL: | http://www.mi.sanu.ac.rs/conferences/Sced_ProbLogic_Bg11.pdf | Извор метаподатака: | Migrirano iz RIS podataka | М-категорија: | Мп категорија ће бити приказана накнадно. |
Резултати на еНаука су заштићени ауторским правима и сва права су задржана, осим ако није другачије назначено.