Rezultati
еНаука >
Резултати >
Razvoj i analiza metaheurističkih metoda za ispitivanje zadovoljivosti formula u verovatnosnim logikama
| Назив: | Razvoj i analiza metaheurističkih metoda za ispitivanje zadovoljivosti formula u verovatnosnim logikama | Аутори: | Stojanović, Tatjana   |
Ментор: | Ognjanović, Zoran |
Остала ауторства: | Davidović, Tatjana ; Ikodinović, Nebojša ; Ivanović, Miloš |
Година: | 2016 | Публикација: | Универзитет у Крагујевцу | Издавач: | Универзитет у Крагујевцу, Природно-математички факултет | Тип резултата: | Докторска дисертација | 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 |
М-категорија: | 70M70 - Одбрањена докторска дисертација |
Google ScholarTM