Полное описание
Automated reasoning : 5th International joint conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010: proceedings / ed. J. Giesl ; eds. J. Giesl, R. Hahnle. - Berlin ; Heidelberg : Springer, 2010. - on-line. - (Lecture notes in computer science ; 6173). - URL: http://dx.doi.org/10.1007/978-3-642-14203-1 . - ISBN 978-3-642-14203-1. - Текст : электронный.
ГРНТИ УДК 28.23.17 004.8(063)
Кл.слова (ненормированные): ИСКУССТВЕННЫЙ ИНТЕЛЛЕКТ -- КОНФЕРЕНЦИИ
Доп. точки доступа: Giesl, J.\ed.\
SpringerLink (Online service)
http://dx.doi.org/10.1007/978-3-642-14203-1
Держатели документа: Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): 004.8(063)-461557)
Шифр в сводном ЭК: 2b7d23b0bbeb55901c3649da5e7e9478
Computer vision and graphics / SpringerLink (Online service), 2009 r=on-line. - Текст : электронный. Pattern recognition and image analysis / D. Hutchison, J. C. Mitchell, F. Mattern [et al.], 2009 r=on-line. - Текст : электронный. Multiple classifier systems / SpringerLink (Online service), 2009 r=on-line. - Текст : электронный. Combinatorial pattern matching / D. Hutchison, D. Terzopoulos, M. Sudan [et al.], 2009 r=on-line. - Текст : электронный. Computer music modeling and retrieval. Genesis of meaning in sound and music / SpringerLink (Online service), 2009 r=on-line. - Текст : электронный. Artificial neural networks - ICANN 2008 / SpringerLink (Online service), 2008 r=on-line. Component-based software engineering / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный. Comparative genomics / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный. Network and parallel computing / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный. Formal methods and software engineering / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный. Advances in artificial intelligence- IBERAMIA 2008 / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный. Research in cryptology / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный. Automated technology for verification and analysis / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный. Post-quantum cryptography / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный. Hybrid metaheuristics / SpringerLink (Online service), 2008 r=on-line. Wireless algorithms, systems, and applications / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный. Semantics in data and knowledge bases / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный. Computer vision - ECCV 2008 / SpringerLink (Online service), 2008 r=on-line. Computer vision -ECCV 2008 / SpringerLink (Online service), 2008 r=on-line. On the move to meaningful internet systems: OTM 2008 / David. Hutchison, Gerhard. Weikum, Demetri. Terzopoulos [et al.] ; ed. R. Meersman, 2008 r=on-line. Показать все результаты Helrich C.S. Modern thermodynamics with statistical mechanics / C. S. Helrich, 2009. - XIII, 402 p. - Текст : непосредственный. On the move to meaningful internet systems: OTM 2008 / David. Hutchison, Gerhard. Weikum, Demetri. Terzopoulos [et al.] ; ed. R. Meersman, 2008 r=on-line. Wechsler H. Reliable face recognition methods / H. Wechsler, 2007 r=on-line. - Текст : электронный. Golbeck J. Computing with social trust / J. Golbeck ; ed. J. Golbeck, 2009 r=on-line. - Текст : электронный. (Re)Searching the digital bauhaus / SpringerLink (Online service), 2009 r=on-line. - Текст : электронный. Dong A. The language of design / A. Dong, 2009 r=on-line. - Текст : электронный. Seffah A. Adoption-centric usability engineering / A. Seffah, E. Metzker, 2009 r=on-line. - Текст : электронный. Takuma T. Electric fields in composite dielectrics and their applications / T. Takuma, B. Techaumnat, 2010. - XIII, 176 p. - Текст : непосредственный. Teschl G. Mathematik fur Informatiker / G. Teschl, S. Teschl, 2007 r=on-line. - Текст : электронный. Wagner M.H. Wegweiser fur den Erfinder / M. H. Wagner, W. Thieler, 2007 r=on-line. - Текст : электронный. Conrads U. Zeit des Labyrinths / U. Conrads, 2007 r=on-line. Isermann R. Mechatronische Systeme / R. Isermann, 2008 r=on-line. - Текст : электронный. Walter T. Kompendium der Web-Programmierung / T. Walter, 2008 r=on-line. - Текст : электронный. Reimers U. DVB — Digitale Fernsehtechnik / U. Reimers, 2008 r=on-line. - Текст : электронный. Ponn J. Konzeptentwicklung und Gestaltung technischer Produkte / J. Ponn, U. Lindemann, 2008 r=on-line. - Текст : электронный. Orlowski P.F. Praktische Regeltechnik / P. F. Orlowski, 2008 r=on-line. - Текст : электронный. Lunze J. Regelungstechnik 1 / J. Lunze, 2008 r=on-line. - Текст : электронный. Fetzer A. Mathematik 1 / A. Fetzer, H. Frankel, 2008 r=on-line. - Текст : электронный. Thies K.H. Management operationaler IT- und Prozess-Risiken / K. H. Thies, 2008 r=on-line. - Текст : электронный. Weigand B. Thermodynamik kompakt / B. Weigand, J. Kohler, J. von Wolfersdorf, 2008 r=on-line. - Текст : электронный. Показать все результаты 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. - Текст : электронный. Показать все результаты Innovative applications of artificial intelligence 3 : материалы временных коллективов / Ed.: R. G. Smith, A. C. Scott, 1991. - 362 p. - Текст : непосредственный. Advances in artificial intelligence- IBERAMIA 2008 / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный. Pattern recognition and machine intelligence / SpringerLink (Online service), 2005 r=on-line Advances in case-based reasoning : материалы временных коллективов / Ed.: E. Blanzieri, L. Portinale, 2000. - XII,530 p. p. - Текст : непосредственный. Pattern recognition and machine intelligence / SpringerLink (Online service), 2009 r=on-line. - Текст : электронный. Uncertainty in artifical intelligence / Ed.:J.F.Lemmer, L.N.Kanal. N 3 : Papers from the 3rd uncertainty in artificial intelligence (AI) workshop held July 10-12, 1987 Seattle(Wa), 1989. - XIII,424 p. p. - Текст : непосредственный. Communication from an artificial intelligence perspective : материалы временных коллективов / Ed. A. Ortony, 1992. - XI,269 p. p. - Текст : непосредственный. Artificial intelligence and symbolic mathematical computing : сборник научных трудов / Сост.: J. Calmet, J. A. Campbell, 1993. - 305 p. - Текст : непосредственный. Verteilte Kunstliche Intelligenz und kooperatives Arbeiten : материалы временных коллективов / Gesellschaft fur Informatik (Karlsruhe), 1991. - IX,544 S. S. - Текст : непосредственный. Труды. 1 : Математические и теоретические аспекты искусственного интеллекта, 1975. - 219 с. - Текст : непосредственный. Modeling decisions for artificial intelligence / SpringerLink (Online service), 2009 r=on-line. - Текст : электронный. Pattern recognition and machine intelligence / SpringerLink (Online service), 2007 r=on-line. - Текст : электронный. Artifical intelligence, culture and language: on education and work : сборник научных трудов / Ed.: B. Goranzon, M. Florin, 1990. - XXVI,266 p. p. - Текст : непосредственный. Труды международной конференции "Континуальные алгебраические логики, исчисления и нейроинформатика в науке, технике и экономике" : (13-15 мая 2003 г.) . Т. 3 : Системы искусственного интеллекта и нейроинформатика, 2003. - 211 с. - Текст : непосредственный. Uncertainty in knowledge bases / Ed. B. Bouchon-Meunier, 1991. - X,609 p. p. - Текст : непосредственный. Artificial intelligence and simulation / SpringerLink (Online service), 2005 r=on-line. - Текст : электронный. Logic for programming, artificial intelligence, and reasoning / SpringerLink (Online service), 2005 r=on-line. - Текст : электронный. Advances in artificial intelligence / SpringerLink (Online service), 2005 r=on-line. - Текст : электронный. Computational intelligence and bioinspired systems / SpringerLink (Online service), 2005 r=on-line. - Текст : электронный. Mechanisms, symbols, and models underlying cognition / SpringerLink (Online service), 2005 r=on-line. - Текст : электронный. Показать все результаты Просмотр издания
Приложение
для Android
