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

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

First-order Logic Program

ИИ. FOL-Programm (Programm "Logik erster Ordnung"; ein Prüfer für Beweise im Prädikatenkalkül erster Ordnung)

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