Преглед Математички факултет по теми "automatsko dokazivanje teorema"
Приказ резултата 1-1 од 1
-
Usmeravanje pretrage u automatskom dokazivanju teorema / Guiding search in automated theorem proving
(Универзитет у Београду, Математички факултет, 27-05-2013)