Полное описание
Automated deduction - CADE-14 : 14th Intern.conf.on automated deduction,Townsville,North Queensland,Australia,July 13-17,1997:Proc. / Ed. W. McCune. - Berlin [etc.] : Springer , 1997. - XIV,462 p. p. : ill. - (Lecture notes in artificial intelligence ; 1249). - ISBN 3-540-63104-6. - Текст : непосредственный.
ГРНТИ УДК 28.23.17 004.832.3(063)
Рубрики: Искусственный интеллект -- Логический вывод -- Съезды и конференции
Кл.слова (ненормированные): ИСКУССТВЕННЫЙ ИНТЕЛЛЕКТ
Доп. точки доступа: McCune, W.\ed.\
Держатели документа: Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): R/16482/1249)
Шифр в сводном ЭК: 7a0e90113c0b69d0ebb91db593b46e6f
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. - Текст : электронный. Показать все результаты Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Automated deduction - CADE 21 : 21st international conference on automated deduction Bremen, Germany, July 17-20, 2007: proceedings / ed. F. Pfenning, 2007 r=on-line. - Текст : электронный. Analogical and inductive inference : Intern.workshop AII'89, Reinhardsbrunn Castle, Oct.1-6, 1989: Proc. / Ed. K. P. Jantke, 1989. - IX, 338 p. 338 p. - Текст : непосредственный. Automated reasoning with analytic tableaux and related methods : Intern.conf.,TABLEAUX'97,Pont-a-Mousson,France,May 13-16,1997:Proc. / Ed. D. Galmiche, 1997. - XI,373 p. p. - Текст : непосредственный. Automated deduction - CADE-14 : 14th Intern.conf.on automated deduction,Townsville,North Queensland,Australia,July 13-17,1997:Proc. / Ed. W. McCune, 1997. - XIV,462 p. p. - Текст : непосредственный. Nonmonotonic and inductive logic : 1st intern.workshop on nonmonotonic and inductive logic,Dec.4-7,1990,Karlsruhe:Proc. / Ed.: J. Dix, M. Zemankova, 1991. - X,243 p. p. - Текст : непосредственный. Automated deduction - CADE - 17 : 17th Intern. conf. on automated deduction, Pittsburgh(Pa),USA, June 17-20, 2000Proc. / CADE-17, 2000. - XIII,512 p. p. - Текст : непосредственный. Automated reasoning with analytic tableaux and related methods : Intern. conf., TABLEAUX 2000, St Andrews, Scotland, UK, July 2000Proc. / TABLEAUX 2000, 2000. - X,440 p. p. - Текст : непосредственный. Automated deduction- CADE-12 : 12th intern.conf.on automated deduction Nancy,June 26-July 1,1994.Proc. / CADE-12, 1994. - XVI,845 p. p. - Текст : непосредственный. Proceedings of the 10.international conference on automated deduction, Keiserslautern, Jul.24-27, 1990 / International conference on automated deduction (10. ; 1990 ; Keiserslautern) , 1990. - XVI,688 p. p. - Текст : непосредственный. Automated deduction - cade-22 : 22nd international conference on automated deduction, Montreal, Canada, August 2-7, 2009: proceedings / SpringerLink (Online service), 2009 r=on-line. - Текст : электронный. Заказать
Заказ фрагмента документа ₽
Приложение
для Android
