007 Д259 Девятков, Владимир Валентинович. Системы искусственного интеллекта : Учеб. пособие для вузов по спец. "Информ. системы и технологии", "Автоматизир. системы обраб. информ. и упр." / В.В. Девятков. - москва : Изд-во МГТУ, 2001. - 352 с. : ил. - (Информатика в техническом университете). - ISBN 5703817277 : 98.04 р. Доп. МО РФ ГРНТИ 28.23 ББК 007(075.8) Ключевые слова: Искусственный интеллект -- Логика предикатов -- Среды -- Ситуационные исчисления -- Модальность -- Модальная логика -- Дедуктивные базы данных -- Формальные логические системы -- Логика высказываний -- Стратегии поиска -- Нечеткие знания -- Онтологии -- учебные пособия Экземпляры всего: 5 Mесто хранения: кх (3), аб (2) Свободны: кх (3), аб (2) |