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

   Английский ⇄ Немецкий +
Google | Forvo | +

nonresolution theorem prover

ИИ. Theorembeweiser auf der Basis natürlicher Deduktion; Nichtresolutions-Theorembeweiser

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