Browsing Математички факултет by Subject "pretraga"
Now showing items 1-1 of 1
-
Usmeravanje pretrage u automatskom dokazivanju teorema / Guiding search in automated theorem proving
(Универзитет у Београду, Математички факултет, 27-05-2013)
Now showing items 1-1 of 1