Истраживачи
Ognjanović, Zoran
| Година | Наслов | Аутор(и) | Тип резултата | Мп-кат. |
|---|---|---|---|---|
| 2009 | Formalizacija, implementacija i primene SAT rešavača (✓) | Marić, Filip   | Докторска дисертација | 70M70 - Одбрањена докторска дисертација |
| 2009 | Logic in computer science | Уређивачки рад | Мп категорија ће бити приказана накнадно. | |
| 2009 | Probability logics | Ognjanović, Zoran ; Rašković, Miodrag; Marković, Zoran | Уређивачки рад | Мп категорија ће бити приказана накнадно. |