Researchers
Malbaški, Dušan
Results 1-4 of 4
| Issue Date | Title | Author(s) | Type | Мp-cat. |
|---|---|---|---|---|
| 2014 | Ontološki zasnovana analiza semantičke korektnosti modela podataka primenom sistema automatskog rezonovanja | Kazi, Zoltan   | Doctoral theses | 70M70 |
| 2010 | Analiza osobina dinamičkih postuslova u Horovim tripletima | Купусинац, Александар | Doctoral theses | 70M70 |
| 2008 | Automatska sinteza baze pravila u inferentnim sistemima | Brtka, Vladimir | Doctoral theses | 70M70 |
| 2007 | Rezolucijska metoda za jednoprolazno simboličko testiranje razgranatih programskih struktura | Markoski, Branko | Doctoral theses | 70M70 |