Pregled Универзитет у Београду po temi "koherentna logika"
Prikaz rezultata 1-1 od 1
-
Usmeravanje pretrage u automatskom dokazivanju teorema / Guiding search in automated theorem proving
(Универзитет у Београду, Математички факултет, 27-05-2013)