|
|
 |
| Результат поиска |
Поиск книг, содержащих: Алгоритм унификации
| Книга | Страницы для поиска | | Новиков Ф.А. — Дискретная математика для программистов | 109 | | Нильсон Н. — Искусственный интеллект. Методы поиска решений | 195 | | Бухбергер Б., Коллинз Дж., Лоос Р. — Компьютерная алгебра: символьные и алгебраические вычисления | 50 | | Вагин В.Н., Головина Е.Ю., Загорянская А.А. — Достоверный и правдоподобный вывод в интеллектуальных системах | 45, 61, 159—163, 171, 173, 184, 204, 208, 209, 219 | | Хант Э. — Искусственный интеллект | 353 | | Уэно Х., Исидзука М. — Представление и использование знаний | 156 | | Осуга С. — Обработка знаний | 129 | | Стерлинг Л., Шапиро Э. — Исскуство программирования на языке Пролог | 63—65, 121, 122 | | Рассел С., Норвиг П. — Искусственный интеллект: современный подход | 391 | | Марков А.С., Лисовский К.Ю. — Базы данных. Введение в теорию и методологию | 225, 437 | | Лорьер Ж.-Л. — Системы искусственного интеллекта | 116, 459, 470 | | Судоплатов С.В., Овчинникова Е.В. — Элементы дискретной математики | 230 | | Бухбергер Б., Калме Ж., Калтофен Э. — Компьютерная алгебра - символьные и алгебраические вычисления | 50 |
|
|
|
|
О проекте