Истраживачи
Malbaški, Dušan
Тип
Година
Мп-кат.
Година - распон
Резултати 1-4 од 4
| Година | Наслов | Аутор(и) | Тип резултата | Мп-кат. |
|---|---|---|---|---|
| 2014 | Ontološki zasnovana analiza semantičke korektnosti modela podataka primenom sistema automatskog rezonovanja | Kazi, Zoltan   | Докторска дисертација | 70M70 - Одбрањена докторска дисертација |
| 2010 | Analiza osobina dinamičkih postuslova u Horovim tripletima | Купусинац, Александар | Докторска дисертација | 70M70 - Одбрањена докторска дисертација |
| 2008 | Automatska sinteza baze pravila u inferentnim sistemima | Brtka, Vladimir | Докторска дисертација | 70M70 - Одбрањена докторска дисертација |
| 2007 | Rezolucijska metoda za jednoprolazno simboličko testiranje razgranatih programskih struktura | Markoski, Branko | Докторска дисертација | 70M70 - Одбрањена докторска дисертација |