Browsing Математички факултет by Subject "interactive theorem proving"
Now showing items 1-1 of 1
-
Аутоматско решавање конструктивних проблема у геометрији / Automated solving of construction problems in geometry.
(Универзитет у Београду, Математички факултет, 04-06-2015)