Модели и методы искусственного интеллекта [Text] : учебное пособие / О. Н. Долинина [и др.] ; под общей редакцией О. Н. Долининой. - Саратов : СГТУ, 2015. - 242, [1] с. : ил. - ^aБиблиография: с. 242—243 (35 назв.). - ISBN 978-5-7433-2831-4 : Б. ц. ГРНТИ ^a28.23^v6 ^a28.01.33^v6 ^a50.01.33^v6 УДК ^a004.89(075)^v4^zrus Рубрики: ИСКУССТВЕННЫЙ ИНТЕЛЛЕКТ    ФУНКЦИОНАЛЬНОЕ ПРОГРАММИРОВАНИЕ    ЭКСПЕРТНЫЕ СИСТЕМЫ    ИНТЕЛЛЕКТУАЛЬНЫЕ ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ    ИНТЕЛЛЕКТУАЛЬНЫЕ ТЕХНОЛОГИИ    ЯЗЫКИ ПРОГРАММИРОВАНИЯ    АЛГОРИТМИЧЕСКИЕ ЯЗЫКИ    ЛИСП    ЛОГИЧЕСКОЕ ПРОГРАММИРОВАНИЕ    ПРЕДИКАТЫ (мат.) Доп.точки доступа: Долинина, Ольга Николаевна (кандидат технических наук); Ермаков, Александр Вадимович (кандидат технических наук); Файфель, Борис Леонидович (кандидат физико-математических наук); Шварц, Александр Юрьевич Свободных экз. нет

Остроух, Андрей Владимирович (доктор технических наук).     Системы искусственного интеллекта [Text] : монография / А. В. Остроух, Н. Е. Суркова. - Санкт-Петербург [и др.] : Лань, 2019. - 227 с. : ил., табл. - (Учебники для вузов. Специальная литература) (Бакалавриат и специалитет). - ^aБиблиография: с. 217—227 (116 назв.). - ISBN 978-5-8114-3427-5 (в переплете) : Б. ц. ГРНТИ ^a28.23^v6 ^a28.23.13^v6 ^a28.01.33^v6 ^a50.05^v6 ^a50.01.33^v6 УДК ^a004.89(075)^v4^zrus Рубрики: ИСКУССТВЕННЫЙ ИНТЕЛЛЕКТ    ИНТЕЛЛЕКТУАЛЬНЫЕ ИНФОРМАЦИОННЫЕ СИСТЕМЫ    ИНТЕЛЛЕКТУАЛЬНЫЕ ТЕХНОЛОГИИ    АВТОМОБИЛЬНЫЙ ТРАНСПОРТ    ПРЕДМЕТНО-ОРИЕНТИРОВАННЫЕ ИНФОРМАЦИОННЫЕ СИСТЕМЫ    ЭКСПЕРТНЫЕ СИСТЕМЫ    ИНЖЕНЕРИЯ ЗНАНИЙ    ПРЕДСТАВЛЕНИЕ ЗНАНИЙ    НЕЙРОКОМПЬЮТЕРЫ    НЕЙРОННЫЕ СЕТИ    ПРЕДИКАТЫ (мат.)    НЕОПРЕДЕЛЕННОСТЬ Доп.точки доступа: Суркова, Наталья Евгеньевна (кандидат педагогических наук) Свободных экз. нет

Иванов, Владимир Михайлович (кандидат физико-математических наук).     Интеллектуальные системы [Text] : учебное пособие для вузов / В. М. Иванов ; Уральский федеральный университет им. первого Президента России Б. Н. Ельцина. - Москва : Юрайт, 2020. - 91 с. : ил., табл. - (Высшее образование). - ^aБиблиография: с. 87—89. - ISBN 978-5-534-00551-6 (Юрайт). - ISBN 978-5-7996-1867-4 (Издательство Уральского университета) : Б. ц. ГРНТИ ^a28.23.35^v6 ^a28.01.33^v6 УДК ^a004.891(075)^v4^zrus Рубрики: ЭКСПЕРТНЫЕ СИСТЕМЫ    ИСКУССТВЕННЫЙ ИНТЕЛЛЕКТ    ФОРМАЛЬНЫЕ СИСТЕМЫ    ПРЕДИКАТЫ (мат.) Свободных экз. нет

Локтева, И. Ю.     Применение исчисления предикатов для диспетчерского управления на сетях в нормальных и аварийных ситуациях (на примере водопроводных сетей) [Text] : автореф. дис. ... канд. техн. наук / И. Ю. Локтева. - Таллин : [s. n.], 1985. - 23 с. - Б. ц. ГРНТИ ^a05.13.01 УДК ^a628.14:658.012(043.3)^v3^zrus Рубрики: ВОДОПРОВОДЫ    ДИСПЕТЧЕРИЗАЦИЯ    ПРЕДИКАТЫ (мат.)    ВОДОХОЗЯЙСТВЕННЫЕ СООРУЖЕНИЯ Свободных экз. нет