Browse by committee members
Now showing items 1-1 of 1
-
Формализација и аутоматско доказивање теорема еуклидске геометрије / Formalization and automation of Euclidean geometry
(Универзитет у Београду, Математички факултет, 07-09-2016)
Now showing items 1-1 of 1