Преглед Математички факултет по теми "formalization of geometry"
Приказ резултата 1-1 од 1
-
Формализација и аутоматско доказивање теорема еуклидске геометрије / Formalization and automation of Euclidean geometry
(Универзитет у Београду, Математички факултет, 07-09-2016)