Вход | Russian | Соглашение пользователя
СловариФорумКупитьСкачатьКонтакты

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

automated theorem prover

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

Добавить | Сообщить об ошибке | Короткая ссылка