Полное описание
Automated deduction - cade-22 : 22nd international conference on automated deduction, Montreal, Canada, August 2-7, 2009: proceedings / SpringerLink (Online service) ; ed. R. Schmidt. - Berlin ; Heidelberg : Springer, 2009. - on-line. - (Lecture notes in computer science, ISSN 0302-9743 ; 5663). - URL: http://dx.doi.org/10.1007/978-3-642-02959-2 . - ISBN 978-3-642-02959-2. - Текст : электронный.
ГРНТИ УДК 28.23.17 004.832.3(063)
Кл.слова (ненормированные): АВТОМАТИЧЕСКАЯ ДЕДУКЦИЯ -- КОНФЕРЕНЦИИ
Доп. точки доступа: Schmidt, R.\ed.\
SpringerLink (Online service)
http://dx.doi.org/10.1007/978-3-642-02959-2
Держатели документа: Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): 004.832.3(063)/A94-822778)
Шифр в сводном ЭК: b8254a250dd8450dad4e6dbbd47fce56
Schmidt R. Anwendung von Zustandsbeobachtern zur Schwingungsuberwachung und Schadensfruherkennung auf mechanische Konstruktionen / R. Schmidt, 1988. - VII,183 S. S. - Текст : непосредственный. Schmidt R. Untersuchungen an einer Zerkleinerungsmaschine mit deterministischer Prallbeanspruchung / R.Schmidt, 1991. - IV,169 S. S. - Текст : непосредственный. Nuclear physics concepts in the study of atomic cluster physics : Proc.of the 88th WE-Heraeus-Seminar,Nov.26-29,1991,Bad Honnef / Сост. R. Schmidt, 1992. - XI,363 p. p. - Текст : непосредственный. Physiologie des Menschen : mit Pathophysiologie / ed. R. F. Schmidt, 2005 r=on-line. - Текст : электронный. Physiologie des menschen : mit Pathophysiologie / ed. R. F. Schmidt, 2007 r=on-line. - Текст : электронный. Schmidt R. Praferenzbasierte Segmentierung von Fondskaufern : Verbesserung der Kundenorrientierung im Fondsvertrieb / R. Schmidt, 2006. - Текст : электронный. Schmidt R. Formelsammlung fur die Berechnung von Abstandsintegralen / R.Schmidt, 1991. - 42 S. - Текст : непосредственный. Шмидт Р.А. Финансовые аспекты маркетинга : Пер. с англ.Учеб.пособие для студентов вузов по экон. спец. / Р.А.Шмидт,Х.Райт, 2000. - 527 с. - Текст : непосредственный. Schmidt R. Ausscheidungsphanomene in Werkstoffen : Eine Einf.in die math.Modellierung / R.Schmidt, 1991. - 240 S. - Текст : непосредственный. Geology of the Elliston region, Powell and Lewis and Clark Counties,Montana / R.G.Schmidt,J.S.Leon,C.A.Wallage,H.H.Mehnert, 1994. - 25 p. - Текст : непосредственный. Roberts B. Local newforms for GSP(4) / B. Roberts, R. Schmidt, 2007 r=on-line. - Текст : электронный. Schmidt R. Neue Beitrage zu Servoantrieben mit unterlagerter Zweipunktregelung ihrer Drehbeschleunigung : Diss. / R.Schmidt, 1999. - 77 S. - Текст : непосредственный. Automated deduction - cade-22 : 22nd international conference on automated deduction, Montreal, Canada, August 2-7, 2009: proceedings / SpringerLink (Online service), 2009 r=on-line. - Текст : электронный. Schmidt R.M. Lebensdauer bei Kriech-Ermudung im Low-Cycle Fatigue Bereich : материал технической информации / R.M.Schmidt, 1988. - 209 S. - Текст : непосредственный. Relations and kleene algebra in computer science : 9th international conference on relational methods in computer science and 4th international workshop on applicationsof kleene algebra, RelMiCS/AKA 2006, Manchester, UK, August/September, 2006: proceedings / SpringerLink (Online service), 2006 r=on-line 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. Показать все результаты Greiner W. Quantum electrodynamics / W. Greiner, J. Reinhardt, 2009. - XVI, 447 p. - Текст : непосредственный. 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. - Текст : электронный. Catalysis by metal complexes / ed.: B. James , P. W. N. M. van Leeuwen. Vol. 28 : Heterocycles from transition metal catalysis : formation and functionalization / A. Kotschy, G. Timari, 2005. - XII, 199 p. - Текст : непосредственный. Catalysis by metal complexes / ed.: B. James, P. W. N. M. van Leeuwen. Vol. 29 : Metal catalysed reactions in ionic liquids / P. J. Dyson, T. J. Geldbach, 2005. - X, 246 p. - Текст : непосредственный. International series in operations research and management science / ed. F. S. Hillier. 130 : Logic and integer programming / H. P. Williams, 2009. - XI, 155 p. - Текст : непосредственный. 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. - Текст : электронный. Показать все результаты 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
