Картинки из квадратов
\
Теоретико-множественная математика
\
Theoretical Computer Science
\
9.7.4. Искусственный интеллект
Начало см.
здесь
.
9.7.4.1. Искусственный интеллект (Н. Нильсон; 1973)
9.7.4.2. Принципы искусственного интеллекта (Н. Нильсон; 1985)
9.7.4.3. Математическая логика и автоматическое доказательство теорем (Ч. Чень, Р. Ли; 1983)
9.7.4.4. Логическое программирование
9.7.4.5. Искусственный интеллект. Современный подход (С. Рассел, П. Норвиг; 2007)
9.7.4.6. Логика распознавания (А.Д. Закревский, 1988)
