Претрага по менторима
Приказ резултата 1-3 од 3
-
Usmeravanje pretrage u automatskom dokazivanju teorema / Guiding search in automated theorem proving
(Универзитет у Београду, Математички факултет, 27-05-2013) -
Аутоматско решавање конструктивних проблема у геометрији / Automated solving of construction problems in geometry.
(Универзитет у Београду, Математички факултет, 04-06-2015) -
Формализација и аутоматско доказивање теорема еуклидске геометрије / Formalization and automation of Euclidean geometry
(Универзитет у Београду, Математички факултет, 07-09-2016)