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

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

interactive proof checker

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