Researchers

eNauka > Researchers > Marić, Filip

Marić, Filip

Type

Date issued

12 2000 - 2027

Mp-cat.

Date issued - custom

Year from:

Year to:

Results 1-12 of 12 Results/Page

Issue Date	Title	Author(s)	Type	Мp-cat.
2026	Модел целоживотног учења заснован на блокчејну и вештачкој интелигенцији - приступни рад	Марковић, Лазар	Editorial works	Mp. category will be shown later
2021	Моделовање упитних језика са применама у рефакторисању и оптимизацији кода	Spasić, Mirko	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
2018	Rešavanje diskretnih lokacijskih problema primenom metode promenljivih okolina	Đenić, Aleksandar D.	Doctoral theses	70M70
2017	Формализација различитих модела геометрије и примене у верификацији аутоматских доказивача теорема	Simić, Danijela	Doctoral theses	70M70
2016	Формализација и аутоматско доказивање теорема еуклидске геометрије	Stojanović, Sana	Doctoral theses	70M70
2016	Унапређивање SMT решаваче коришћењем CSP техника и техника паралелизације	Banković, Milan M.	Doctoral theses	70M70
2016	Rešavanje problema CSP tehnikama svođenja na problem SAT	Stojadinović, Mirko S.	Doctoral theses	70M70
2015	Аутоматско решавање конструктивних проблема у геометрији	Marinković, Vesna	Doctoral theses	70M70
2013	Usmeravanje pretrage u automatskom dokazivanju teorema	Nikolić, Mladen S.	Doctoral theses	70M70
2013	Automatsko generisanje i proveravanje uslova ispravnosti programa	Vujošević-Janičić, Milena	Doctoral theses	70M70
2013	(uređivanje) - Editorial	No authors	Editorial works	Mp. category will be shown later