|
|
 |
| Результат поиска |
Поиск книг, содержащих: ЛИСП (LISP)
| Книга | Страницы для поиска | | Нейлор К. — Как построить свою экспертную систему | 257, 259, 265 | | Чень Ч., Ли Р. — Математическая логика и автоматическое доказательство теорем | 205, 269 | | Метакидес Г., Нероуд А. — Принципы логики и логического программирования | 203 | | Хоггер К. — Введение в логическое программирование | 132, 164, 288 | | Хоггер К. — Введение в логическое программирование | 132, 164, 288 | | Бауэр Ф.Л., Гооз Г. — Информатика | 81 | | Дэвенпорт Дж., Сирэ И., Турнье Э. — Компьютерная алгебра | 20 |
|
|
|
|
О проекте