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