Rezultati
Naziv: | Formalizacija, implementacija i primene SAT rešavača | Autori: | Marić, Filip | Ostala autorstva: | Janičić, Predrag ; Mijajlović, Žarko; Krstić, Sava; Vitas, Duško; Ognjanović, Zoran | Godina: | 2009 | Izdavač: | Beograd : [F. Marić] | Tip rezultata: | Doktorska disertacija | Kolacija: | str. 249 str. | VBS COBISS: | 35783183 | URI: | https://enauka.gov.rs/handle/123456789/913393 | M-kategorija: | 70M70 - Odbranjena doktorska disertacija |
Rezultati na eNauka su zaštićeni autorskim pravima i sva prava su zadržana, osim ako nije drugačije naznačeno.