Istraživači
Ognjanović, Zoran
Godina | Naslov | Autor(i) | Tip rezultata | Mp-kat. |
---|---|---|---|---|
2012 | O formalizaciji p-adske, kvalitativne i uslovne verovatnoće (✓) | Ilić Stepić , Angelina ![]() ![]() | Doktorska disertacija | 70M70 - Odbranjena doktorska disertacija |
2009 | Formalizacija, implementacija i primene SAT rešavača (✓) | Marić, Filip ![]() ![]() | Doktorska disertacija | 70M70 - Odbranjena doktorska disertacija |