Malbaški, Dušan

Godina od:

Godina do:

Rezultati 1-4 od 4 Rezultati/stranica

Godina	Naslov	Autor(i)	Tip rezultata	Mp-kat.
2014	Ontološki zasnovana analiza semantičke korektnosti modela podataka primenom sistema automatskog rezonovanja	Kazi, Zoltan	Doktorska disertacija	70M70 - Odbranjena doktorska disertacija
2010	Analiza osobina dinamičkih postuslova u Horovim tripletima	Купусинац, Александар	Doktorska disertacija	70M70 - Odbranjena doktorska disertacija
2008	Automatska sinteza baze pravila u inferentnim sistemima	Brtka, Vladimir	Doktorska disertacija	70M70 - Odbranjena doktorska disertacija
2007	Rezolucijska metoda za jednoprolazno simboličko testiranje razgranatih programskih struktura	Markoski, Branko	Doktorska disertacija	70M70 - Odbranjena doktorska disertacija