Researchers

eNauka > Researchers > Janičić, Predrag

Janičić, Predrag

Type

11 Doctoral theses

Date issued

11 2000 - 2027

Mp-cat.

11 M70

Date issued - custom

Year from:

Year to:

Results 1-11 of 11 Results/Page

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