DictionnaireLe forumContacts

   Anglais +
Google | Forvo | +

mechanical theorem-proving

génér. automatische Beweistechnik
mechanical theorem proving
informat. mechanische Beweisführung