Skolem constan

skolem constant сколемовская константа (Пролог).

Англо-русский словарь компьютерных терминов

Статья с рубриками не связана

Как стать автором

Важно знать Учебный курс

Возник вопрос?

Частые вопросы Задать вопрос редакции

Сообщите нам

Пожаловаться Предложить идею

Текст доступен по лицензии Attribution-NonCommercial-ShareAlike 3.0 Unported; в отдельных случаях могут действовать дополнительные условия. См: Пользовательское соглашение