SłownikiForumKontakt

   Angielski +
Google | Forvo | +

mechanical theorem proving

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