Results
| Title: | Formalizacija, implementacija i primene SAT rešavača | Authors: | Marić, Filip   |
Other contributors: | Janičić, Predrag ; Mijajlović, Žarko; Krstić, Sava; Vitas, Duško; Ognjanović, Zoran |
Issue Date: | 2009 | Publisher: | Beograd : [F. Marić] | Type: | Doctoral theses | Collation: | str. 249 str. | VBS COBISS: | 35783183 | URI: | https://enauka.gov.rs/handle/123456789/913393 | M-category: | 70M70 |
Google ScholarTM
Items in eNauka are protected by copyright, with all rights reserved, unless otherwise indicated.