Резултати
Назив: | Formalizacija, implementacija i primene SAT rešavača | Аутори: | Marić, Filip | Остала ауторства: | Janičić, Predrag ; Mijajlović, Žarko; Krstić, Sava; Vitas, Duško; Ognjanović, Zoran | Година: | 2009 | Издавач: | Beograd : [F. Marić] | Тип резултата: | Докторска дисертација | Колација: | str. 249 str. | VBS COBISS: | 35783183 | URI: | https://enauka.gov.rs/handle/123456789/913393 | М-категорија: | 70M70 - Одбрањена докторска дисертација |
Резултати на еНаука су заштићени ауторским правима и сва права су задржана, осим ако није другачије назначено.