SłownikiForumKontakt

   Angielski Niemiecki +
Google | Forvo | +

goal-directed theorem proving

sztuczn. zielgesteuertes Theorembeweisen; zielorientiertes Theorembeweisen