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

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

FOL-Programm

n
ИИ. First-order Logic Program (Programm "Logik erster Ordnung"; ein Prüfer für Beweise im Prädikatenkalkül erster Ordnung)

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