Istraživači

eNauka > Istraživači > Janičić, Predrag

Janičić, Predrag

Tip

11 Doktorska disertacija

Godina

11 2000 - 2027

Mp-kat.

11 M70 - Odbranjena doktorska disertacija

Godina - raspon

Godina od:

Godina do:

Rezultati 1-11 od 11 Rezultati/stranica

Godina	Naslov	Autor(i)	Tip rezultata	Mp-kat.
2020	Formalni sistemi za dokazivanje teorema incidencije	Milićević, Marina	Doktorska disertacija	70M70 - Odbranjena doktorska disertacija
2019	Sistem za automatsko dokazivanje nekih klasa analitičkih nejednakosti	Banjac, Bojan	Doktorska disertacija	70M70 - Odbranjena doktorska disertacija
2018	Nove kombinatorne konstrukcije u vezi sa problemima iz hromatske teorije grafova, ekstremalne teorije skupova i teorije Bulovih matrica	Vučković, Bojan M.	Doktorska disertacija	70M70 - Odbranjena doktorska disertacija
2017	Формализација различитих модела геометрије и примене у верификацији аутоматских доказивача теорема	Simić, Danijela	Doktorska disertacija	70M70 - Odbranjena doktorska disertacija
2016	Rešavanje problema CSP tehnikama svođenja na problem SAT	Stojadinović, Mirko S.	Doktorska disertacija	70M70 - Odbranjena doktorska disertacija
2016	Формализација и аутоматско доказивање теорема еуклидске геометрије	Stojanović, Sana	Doktorska disertacija	70M70 - Odbranjena doktorska disertacija
2016	Унапређивање SMT решаваче коришћењем CSP техника и техника паралелизације	Banković, Milan M.	Doktorska disertacija	70M70 - Odbranjena doktorska disertacija
2016	Метод седиментације и његове примјене у проблемима дискретне математике	Kordić, Stevan Lj.	Doktorska disertacija	70M70 - Odbranjena doktorska disertacija
2015	Аутоматско решавање конструктивних проблема у геометрији	Marinković, Vesna	Doktorska disertacija	70M70 - Odbranjena doktorska disertacija
2013	Usmeravanje pretrage u automatskom dokazivanju teorema	Nikolić, Mladen S.	Doktorska disertacija	70M70 - Odbranjena doktorska disertacija
2009	Formalizacija, implementacija i primene SAT rešavača	Marić, Filip	Doktorska disertacija	70M70 - Odbranjena doktorska disertacija