SłownikiForumKontakt

   Angielski +
Google | Forvo | +

automatic theorem proving

sztuczn. automatisches Theorembeweisen; automatische Beweisfindung