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

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

SLD-Resolution

f
ИИ. linear resolution with selection function for definite clauses; selected linear definite resolution; SLD resolution

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