ГПНТБ России - Полное описание

Государственная публичная
научно-техническая библиотека России

Основана в 1958 году

Полное описание

Лицевая сторона карточки	Обратная сторона карточки

Лицевая сторона карточки	Обратная сторона карточки

Лицевая сторона карточки	Обратная сторона карточки

Automated deduction- CADE-12 : 12th intern.conf.on automated deduction Nancy,June 26-July 1,1994.Proc. / CADE-12, 1994. - XVI,845 p. p. - Текст : непосредственный.Catalogue of artificial intelligence techniques : материал технической информации / сост.ed. A. Bundy, 1990. - 179 p. - Текст : непосредственный.

Theory and applications of diagrams : материалы временных коллективов / Ed. M. Anderson, 2000. - XII, 504 p. 504 p. - Текст : непосредственный.Advances in case-based reasoning : материалы временных коллективов / Ed.: E. Blanzieri, L. Portinale, 2000. - XII,530 p. p. - Текст : непосредственный.Foundations of intelligent systems : материалы временных коллективов / Ed.: Z. W. Ras, M. Michalewicz, 1996. - XI,664 p. p. - Текст : непосредственный.

Лицевая сторона карточки	Обратная сторона карточки

Лицевая сторона карточки	Обратная сторона карточки

Лицевая сторона карточки	Обратная сторона карточки

Лицевая сторона карточки	Обратная сторона карточки

Лицевая сторона карточки	Обратная сторона карточки

Лицевая сторона карточки	Обратная сторона карточки

Лицевая сторона карточки	Обратная сторона карточки

Лицевая сторона карточки	Обратная сторона карточки

Лицевая сторона карточки	Обратная сторона карточки

Лицевая сторона карточки	Обратная сторона карточки

Лицевая сторона карточки	Обратная сторона карточки

Лицевая сторона карточки	Обратная сторона карточки

Лицевая сторона карточки	Обратная сторона карточки

Лицевая сторона карточки	Обратная сторона карточки

Лицевая сторона карточки	Обратная сторона карточки

Лицевая сторона карточки	Обратная сторона карточки

Лицевая сторона карточки	Обратная сторона карточки

Показать все результаты

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. - Текст : электронный.

Лицевая сторона карточки	Обратная сторона карточки

Заказ фрагмента документа ₽