СловариФорумКупитьСкачатьКонтакты

   Английский Немецкий +
Google | Forvo | +

geometry theorem-proving machine

ИИ. Maschine zum Beweisen geometrischer Theoreme