Резултати
Назив: | Probabilistic-Temporal Logic with Actions | Аутори: | Dautović, Šejla ; Doder, Dragan ; Ognjanović, Zoran | Година: | 2022 | Издавач: | University Center Dubrovnik, Croatia | Тип резултата: | Конференцијски рад | Колација: | str. 19-20 | URI: | http://researchrepository.mi.sanu.ac.rs/handle/123456789/4858 https://enauka.gov.rs/handle/123456789/579864 |
URL: | http://imft.ftn.uns.ac.rs/math/cms/uploads/Main/LAP2022-Book_of_Abstracts.pdf | Пројекат: | Advanced artificial intelligence techniques for analysis and design of system components based on trustworthy BlockChain technology - AI4TrustBC | М-категорија: | Мп категорија ће бити приказана накнадно. |