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