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

   Английский ⇄ +
Google | Forvo | +
к фразам

theorem prover

ИИ. Theorembeweiser
ИТ. Theorembeweise; Beweisfindungsverfahren n
theorem prover
: 12 фраз в 3 тематиках
Информационные технологии2
Искусственный интеллект9
Общая лексика1

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