SłownikiForumKontakt

   Angielski +
Google | Forvo | +

mechanical theorem-proving

posp. automatische Beweistechnik
mechanical theorem proving
technol. mechanische Beweisführung