|
|
 |
| Результат поиска |
Поиск книг, содержащих: Сколемовская функция
| Книга | Страницы для поиска | | Верещагин Н.К., Шень А. — Языки и исчисления | 201, 203 | | Вагин В.Н., Головина Е.Ю., Загорянская А.А. — Достоверный и правдоподобный вывод в интеллектуальных системах | 32, 102, 164, 165, 178, 204—206, 458 | | Виноградов И.М. — Математическая энциклопедия. Предметный указатель | IV—1202 | | Эндрю А. — Искусственный интеллект | 76 | | Верещагин Н.К., Шень А. — Лекции по математическо логике и теории алгоритмов. Часть 2. Языки и исчисления | 198, 201 |
|
|
|
|
О проекте