СловникиФорумКонтакти

   Англійська +
Google | Forvo | +

mechanical theorem-proving

заг. automatische Beweistechnik
mechanical theorem proving
IT mechanische Beweisführung