Istraživači
Ognjanović, Zoran
| Godina | Naslov | Autor(i) | Tip rezultata | Mp-kat. |
|---|---|---|---|---|
| 2009 | Probability logics | Ognjanović, Zoran   ; Rašković, Miodrag; Marković, Zoran | Uređivački rad | Mp kategorija će biti prikazana naknadno. |
| 2009 | Logic in computer science | Uređivački rad | Mp kategorija će biti prikazana naknadno. | |
| 2009 | Formalizacija, implementacija i primene SAT rešavača (✓) | Marić, Filip | Doktorska disertacija | 70M70 - Odbranjena doktorska disertacija |