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