Истраживачи
Ognjanović, Zoran
Година | Наслов | Аутор(и) | Тип резултата | Мп-кат. |
---|---|---|---|---|
2009 | Formalizacija, implementacija i primene SAT rešavača (✓) | Marić, Filip ![]() ![]() | Докторска дисертација | 70M70 - Одбрањена докторска дисертација |