Полное описание
Schmidt-Schauss, M. ISBN 3-540-51705-7. - Текст : непосредственный. Перевод заглавия: Вычислительные аспекты порядко-сортировальной логики с описанием термов
ГРНТИ УДК 28.23.17 004.832.2
Рубрики: Искусственный интеллект
Кл.слова (ненормированные): ИСКУССТВЕННЫЙ ИНТЕЛЛЕКТ
Держатели документа: Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): R/16482/395)
Шифр в сводном ЭК: be17115953ca772f1af98bed0043b404
Baltag A. logic for suspicious players: epistemic actions and belief-update in games / A. Baltag, 2000. - 30 p. - Текст : непосредственный. Deduction systems in artificial intelligence / Ed.: K. H. Blasius, H. J. Burckert, 1989. - 238 p. - Текст : непосредственный. ACM Transactions on Computational Logic / Association for computing machinery (New York, NY), Association for computing machinery (New York, NY). - Журнал выходит с 2000г. r=on-line. - Текст : непосредственный. Аверин А.И. Исследование и разработка алгоритмов параллельного дедуктивного вывода на графовых структурах : специальность 05.13.11 "Математическое и программное обеспечение вычислительных машин,комплексов и компьютерных сетей" : диссертация на соискание ученой степени канд. техн. наук / А. И. Аверин, 2004. - 20 с. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Золотин А.А. Матрично-векторные уравнения локального апостериорного вывода в алгебраических байесовских сетях / А. А. Золотин, 2018. - 16 с. - Текст : непосредственный. Automated reasoning : 5th International joint conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010: proceedings / ed. J. Giesl, 2010 r=on-line. - Текст : электронный. Eijck D.J.N.van Reasoning about update logic / D.J.N.van Eijck,F.-J.de Vries, 1993. - 18 p. - Текст : непосредственный. Болотова С.Ю. Разработка и исследование метода релевантного обратного вывода : автореф. дис. .. канд. физ.-мат. наук: 05.13.17 / С. Ю. Болотова, 2014. - 16 с. - Текст : непосредственный. Logics in artificial intelligence : 10th european conference, JELIA 2006 Liverpool, UK, September 13-15, 2006: proceedings / ed. M. Fisher [et al.], 2006 r=on-line. - Текст : электронный. Показать все результаты Венда В.Ф. Системы гибридного интеллекта : Эволюция, психология, информатика / В.Ф.Венда, 1990. - 447 c. - Текст : непосредственный. Дулин С.К. Моделирования сходства элементов базы знаний / С. К. Дулин, И. А. Киселев, 1994. - 23 c. - Текст : непосредственный. Frederichs G. Kunstliche Intelligenz im Hartetest der kommerziellen Praxis / G. Frederichs, M. Rader, 1993. - 108 S. - Текст : непосредственный. Вихтенко Э.М. Элементы теории искусственного интеллекта / Э. М. Вихтенко, 2006. - 94 с. - Текст : непосредственный. Осипов Г.С. Лекции по искусственному интеллекту / Г. С. Осипов, 2013. - 267 с. - Текст : непосредственный. Дворянкин А.М. Искусственный интеллект. Моделирование рассуждений и формальные системы / А. М. Дворянкин, М. Б. Сипливая, И. Г. Жукова, 2003. - 140 с. - Текст : непосредственный. Baltag A. logic for suspicious players: epistemic actions and belief-update in games / A. Baltag, 2000. - 30 p. - Текст : непосредственный. Куркин В.И. Системы искусственного интеллекта / В. И. Куркин, 2005. - 69 с. - Текст : непосредственный. Искусственный интеллект : монография / Ред. А. И. Дащенко, 1991. - 540 c. - Текст : непосредственный. Knowledge-driven computing / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный. Kacprzyk J. Advances in differential evolution / J. Kacprzyk, U. K. Chakraborty, 2008 r=on-line. - Текст : электронный. Software engineering, artificial intelligence, networking and parallel/distributed computing / R. Lee ; ed. R. Lee, 2008 r=on-line. - Текст : электронный. Information modelling and knowledge bases / Ed. H. Kangassalo, 1990. - VI,636 p. p. - Текст : непосредственный. Когнитивный вызов и информационные технологии / Г. Г. Малинецкий, С. К. Маненков, Н. А. Митин, В. В. Шишов, 2010. - 28 с. - Текст : непосредственный. Методы и средства построения систем знания : Учеб.пособие / Вольфенгаген В.Э.и др. Ч. 2 : Модели, обслуживающие базы данных и базы знаний / В.Э.Вольфенгаген,И.А.Горюнова,С.В.Косиков, 1992. - 135 с. - Текст : непосредственный. Ennals R. Artificial intelligence and human institutions / R. Ennals, 1991. - XII,181 p. p. - Текст : непосредственный. Connectionism in perspective / Ed. Preifer et al., 1989. - XXI,517 p. p. - Текст : непосредственный. Компьютер обретает разум / Ред. В. Л. Стефанюк, 1990. - 240 c. - Текст : непосредственный. Левин Р. Практическое введение в технологию искусственного интеллекта и экспертных систем с иллюстрациями на Бейсике / Р. Левин, Д. Дранг, Ю. Эделсон ; , 1990. - 239 c. - Текст : непосредственный. Чикул В.М. Теория искусственного интеллекта / В. М. Чикул, 2000. - 46 с. - Текст : непосредственный. Показать все результаты Formal development of programs and proofs / Ed. E. W. Dijkstra, 1990. - 242 p. - Текст : непосредственный. Schmidt-Schauss M. Computational aspects of an order-sorted logic with term declarations / M.Schmidt-Schauss, 1989. - VIII, 171 p. 171 p. - Текст : непосредственный. Габдрахманов И.Н. Планирование задач в сложноструктурированных ситуациях : автореф. дис. .. канд. техн. наук: 05.13.01 / И. Н. Габдрахманов, 2006. - 22 с. - Текст : непосредственный. Математическая модель решения человека – методологическая основа функционирования системы искусственного интеллекта в робототехнике / В. Г. Бурлов, М. А. Полюхович, В. Д. Каченкова, С. Ю. Капицын. - Текст : непосредственный // XLV Академические чтения по космонавтике, посвященные памяти академика С. П. Королёва и других выдающихся отечественных ученых - пионеров освоения космического пространства, [Москва], 30 марта - 2 апреля 2021 года : сборник тезисов : [в 4 т.] / Российская академия наук, Государственная корпорация по космической деятельности "Роскосмос" [и др.]. - Москва : Изд-во МГТУ им. Н. Э. Баумана, 2021. - Т. 4. - с. 307-308 Цибулис, Дмитрий Эдуардович. Нейросети-автоэнкодеры. Классификация и решаемые задачи / Д. Э. Цибулис, А. Н. Рагозин. - Текст : непосредственный // Автоматизированные системы управления и информационные технологии : материалы Всероссийской научно-технической конференции : (г. Пермь, 9-11 июня 2020 г.) : в двух томах / Министерство науки и высшего образования Российской Федерации, Пермский национальный исследовательский политехнический университет. - Пермь : Изд-во Пермского нац. исслед. политехнического ун-та, 2020. - Т. 1. - с. 120-125 Суменков Н.А. Искусственный интеллект, как инструмент борьбы с ростом сложности задач управления и обеспечения экономического развития / Н. А. Суменков, А. И. Левин. - Текст : непосредственный // Искусственный интеллект. Теория и практика : научно-практический междисциплинарный журнал / Российская академия наук, Академия военных наук, Российская инженерная академия, Военно-инженерная корпорация. - Королёв : Передовые специальные технологии и материалы, 2024. - N 3. - с. 71-74 Бетин, Владимир Николаевич. Некоторые методы поиска решения в частично определенных функциональных нейронных сетях, заданных декларациями / В. Н. Бетин, В. А. Иващенко, А. П. Супрун. - Текст : непосредственный // Научно-техническая информация. Серия 2, Информационные процессы и системы : ежемесячный научно-технический сборник / Всероссийский институт научной и технической информации. - Москва : ВИНИТИ РАН, 2025. - N 4. - с. 1-10 Заказать
Заказ фрагмента документа ₽
Приложение
для Android
