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

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

linear resolution with selection function for definite clauses

ИИ. lineare Resolution mit Selektionsfunktion für definite Klauseln; SLD-Resolution

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