Wörterbücher
Forum
Kontakte

   Englisch Russisch +
Google | Forvo | +

automated geometric theorem proving

Betonungen
KI автоматическое доказательство теорем геометрии (Alex_Odeychuk)