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