|
|
 |
| Результат поиска |
Поиск книг, содержащих: Дизъюнкт (clause)
| Книга | Страницы для поиска | | Чень Ч., Ли Р. — Математическая логика и автоматическое доказательство теорем | 55 | | Клоксин У., Меллиш К. — Программирование на языке пролог | 269 | | Метакидес Г., Нероуд А. — Принципы логики и логического программирования | 51 | | Хоггер К. — Введение в логическое программирование | 49, 52, 286, 289 | | Тей А., Грибомон П., Луи Ж. — Логический подход к искусственному интеллекту | 30, 72 | | Хоггер К. — Введение в логическое программирование | 49, 52, 286, 289 |
|
|
|
|
О проекте