Istraživači
Ognjanović, Zoran
| Godina | Naslov | Autor(i) | Tip rezultata | Mp-kat. |
|---|---|---|---|---|
| 2013 | Квантификација самоорганизације и комплексности заснована на избору оптималног таласића | Milovanović, Miloš   | Doktorska disertacija | 70M70 - Odbranjena doktorska disertacija |
| 2013 | Razvoj algoritama za izračunavanje spektralnih transformacija na grafičkim procesorima | Gajić, Dušan B. | Doktorska disertacija | 70M70 - Odbranjena doktorska disertacija |
| 2013 | Usmeravanje pretrage u automatskom dokazivanju teorema (✓) | Nikolić, Mladen S. | Doktorska disertacija | 70M70 - Odbranjena doktorska disertacija |
| 2013 | Development and verification of probability logics and logical frameworks | Maksimović, Petar | Doktorska disertacija | 70M70 - Odbranjena doktorska disertacija |