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