Researchers
Ognjanović, Zoran
| Issue Date | Title | Author(s) | Type | М-cat. |
|---|---|---|---|---|
| 2009 | Probability logics | Ognjanović, Zoran   ; Rašković, Miodrag; Marković, Zoran | Editorial works | Mp. category will be shown later |
| 2009 | Logic in computer science | Editorial works | Mp. category will be shown later | |
| 2009 | Formalizacija, implementacija i primene SAT rešavača (✓) | Marić, Filip | Doctoral theses | 70M70 |