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

   Англійська Німецька +
Google | Forvo | +

geometry theorem-proving machine

шт.інтел. Maschine zum Beweisen geometrischer Theoreme