Преглед Математички факултет по теми "geometry"
Приказ резултата 1-1 од 1
-
Формализација различитих модела геометрије и примене у верификацији аутоматских доказивача теорема / Formalization of various geometry models and applications in verification of automated theorem provers
(Универзитет у Београду, Математички факултет, 08-08-2017)