Резултати
еНаука >
Резултати >
Razvoj i analiza metaheurističkih metoda za ispitivanje zadovoljivosti formula u verovatnosnim logikama
| Title: | Razvoj i analiza metaheurističkih metoda za ispitivanje zadovoljivosti formula u verovatnosnim logikama | Authors: | Stojanović, Tatjana |
Supervisor: | Ognjanović, Zoran |
Other contributors: | Davidović, Tatjana |
Issue Date: | 2016 | Publication: | Универзитет у Крагујевцу | Publisher: | Универзитет у Крагујевцу, Природно-математички факултет | Type: | Doctoral theses | 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-category: | 70M70 |