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

   Английский Русский +
Google | Forvo | +

automated theorem proving system

ударения
ИИ. система автоматического доказательства теорем (Alex_Odeychuk)