|
|
Электронная библиотека
механико-математического факультета
Московского государственного университета
|
|
|
|
|
| Результат поиска |
Поиск книг, содержащих: Алгоритм унификации
| Книга | Страницы для поиска | | Новиков Ф.А. - Дискретная математика для программистов | 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 |
|
|
|
|
|
|
|
О проекте