|
|
 |
| Результат поиска |
Поиск книг, содержащих: Лавленд
| Книга | Страницы для поиска | | Чень Ч., Ли Р. — Математическая логика и автоматическое доказательство теорем | 53, 73, 102, 127, 130, 135, 138, 156, 179, 184, 201 | | Нильсон Н. — Искусственный интеллект. Методы поиска решений | 243, 249 | | Хант Э. — Искусственный интеллект | 380 |
|
|