DictionnaireLe forumContacts

   Anglais Allemand +
Google | Forvo | +

goal-directed theorem proving

intell. zielgesteuertes Theorembeweisen; zielorientiertes Theorembeweisen