Researchers
Ognjanović, Zoran
Issue Date | Title | Author(s) | Type | М-cat. |
---|---|---|---|---|
2009 | Formalizacija, implementacija i primene SAT rešavača (✓) | Marić, Filip | Doctoral theses | 70M70 |
Researchers
Issue Date | Title | Author(s) | Type | М-cat. |
---|---|---|---|---|
2009 | Formalizacija, implementacija i primene SAT rešavača (✓) | Marić, Filip | Doctoral theses | 70M70 |