Rezultati
eNauka >
Rezultati >
Razvoj i analiza metaheurističkih metoda za ispitivanje zadovoljivosti formula u verovatnosnim logikama
| Naziv: | Razvoj i analiza metaheurističkih metoda za ispitivanje zadovoljivosti formula u verovatnosnim logikama | Autori: | Stojanović, Tatjana   |
Mentor: | Ognjanović, Zoran |
Ostala autorstva: | Davidović, Tatjana ; Ikodinović, Nebojša ; Ivanović, Miloš |
Godina: | 2016 | Publikacija: | Универзитет у Крагујевцу | Izdavač: | Универзитет у Крагујевцу, Природно-математички факултет | Tip rezultata: | Doktorska disertacija | URI: | http://eteze.kg.ac.rs/application/showtheses?thesesId=2275 https://nardus.mpn.gov.rs/handle/123456789/4296 https://fedorakg.kg.ac.rs/fedora/get/o:581/bdef:Content/download https://enauka.gov.rs/handle/123456789/260065 |
M-kategorija: | 70M70 - Odbranjena doktorska disertacija |
Google ScholarTM