Полное описание
> Deduction systems in artificial intelligence / Ed.: K. H. Blasius, H. J. Burckert. - Chichester : Ellis Horwood ; New York, NY : Wiley, 1989. - 238 p. : ill. - ISBN 0-7458-0409-8. - Текст : непосредственный. Библиогр.в конце ст.Указ.в конце кн.
ГРНТИ УДК 28.23.17 004.832.3
Рубрики: Искусственный интеллект
Кл.слова (ненормированные): ИСКУССТВЕННЫЙ ИНТЕЛЛЕКТ -- ИСКУССТВЕННЫЙ ИНТЕЛЛЕКТ
Доп. точки доступа: Blasius, K.H.\ed.\
Burckert, H.J.\ed.\
Держатели документа: Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): J2/21956)>
Шифр в сводном ЭК: 8a31ae9e22fd48b55021927c6be0901a
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 с. - Текст : непосредственный. Показать все результаты Deduction systems in artificial intelligence / Ed.: K. H. Blasius, H. J. Burckert, 1989. - 238 p. - Текст : непосредственный. Васильев М.Ю. Разработка архитектуры системы параллельного логического вывода на сетях специального вида : специальность 05.13.13 "" : автореферат диссертации на соискание ученой степени канд.техн.наук / М. Ю. Васильев, 1991. - 20 с. - Текст : непосредственный. Васяева Н.С. Организация аппаратно-программных средств системы дедуктивного логического вывода : специальность 05.13.13 "" : автореферат диссертации на соискание ученой степени канд. техн. наук / Н. С. Васяева, 1998. - 25 с. - Текст : непосредственный. Жуковская М.В. Разработка и исследование методов параллельного логического вывода в гиперкубовых процессорных структурах : специальность 05.13.17 "Теоретические основы информатики" : автореферат диссертации на соискание ученой степени канд. техн. наук / М. В. Жуковская, 1998. - 16 с. - Текст : непосредственный. Аверин А.И. Исследование и разработка алгоритмов параллельного дедуктивного вывода на графовых структурах : специальность 05.13.11 "Математическое и программное обеспечение вычислительных машин,комплексов и компьютерных сетей" : диссертация на соискание ученой степени канд. техн. наук / А. И. Аверин, 2004. - 20 с. - Текст : непосредственный. Хотимчук К.Ю. Разработка и реализация методов и алгоритмов абдуктивного вывода с использованием систем поддержки истинности на основе предположений / К. Ю. Хотимчук, 2011. - 20 с. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Золотин А.А. Матрично-векторные уравнения локального апостериорного вывода в алгебраических байесовских сетях / А. А. Золотин, 2018. - 16 с. - Текст : непосредственный. Тулупьев А.Л. Алгебраические байесовские сети: локальный логико-вероятностный вывод : учебное пособие / А. Л. Тулупьев, 2019. - 136 с. - Текст : непосредственный. Тулупьев А.Л. Алгебраические байесовские сети: глобальный логико-вероятностный вывод в деревьях смежности : учебное пособие / А. Л. Тулупьев, 2019. - 106 с. - Текст : непосредственный. Дэвидсон-Пайлон К. Вероятностное программирование на Python : байесовский вывод и алгоритмы / К. Дэвидсон-Пайлон; [перевели с английского И. Пальти, К. Русецкий], 2019. - 253 с. - Текст : непосредственный. Дедкова Т.Г. Разработка методов и алгоритмов интеграции неоднородных продукционных систем управления выводом знании : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.06 / Т. Г. Дедкова, 1994. - 24 с. - Текст : непосредственный. Показать все результаты Заказать
Заказ фрагмента документа ₽