Automated Reasoning with Analytic Tableaux and Related Methods, Didier Galmiche; Dominique Larchey-Wendling
Автор: Martin Giese; Arild Waaler Название: Automated Reasoning with Analytic Tableaux and Related Methods ISBN: 3642027156 ISBN-13(EAN): 9783642027154 Издательство: Springer Рейтинг: Цена: 10480.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 18th International Conference TABLEAUX 2009 Oslo Norway July 610 2009 Proceedings. .
Автор: Peter Baumgartner; Reiner H?hnle; Joachim Posegga Название: Theorem Proving with Analytic Tableaux and Related Methods ISBN: 3540593381 ISBN-13(EAN): 9783540593386 Издательство: Springer Рейтинг: Цена: 10480.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constitutes the proceedings of the 4th International Workshop on Theorem Proving with Analytic Tableaux and Related Methods, TABLEAU `95, held at Schlos Rheinfels, St Goar, Germany in May 1995. This book includes sections on extensions, modal logic, intuitionistic logic, the connection method and model elimination, linear logic, and applications.
Автор: Ewa Orlowska; Joanna Goli?ska Pilarek Название: Dual Tableaux: Foundations, Methodology, Case Studies ISBN: 9400734360 ISBN-13(EAN): 9789400734364 Издательство: Springer Рейтинг: Цена: 20962.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Providing a reference for researchers and students, this volume presents the fundamental concepts of dual tableaux, and a wide scope of applications. These include logic methods used in mathematics and philosophy, as well as applied theories of computational logic.
Автор: Olivetti Название: Automated Reasoning ISBN: 3319402285 ISBN-13(EAN): 9783319402284 Издательство: Springer Рейтинг: Цена: 10342.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 8th International Joint Conference on Automated Reasoning, IJCAR 2016, held in Coimbra, Portugal, in June/July 2016. IJCAR 2014 was a merger of three leading events in automated reasoning, namely CADE (International Conference on Automated Deduction), FroCoS (International Symposium on Frontiers of Combining Systems) and TABLEAUX (International Conference on Automated Reasoning with Analytic Tableaux and Related Methods).The 26 revised full research papers and 9 system descriptions presented together with 4 invited talks were carefully reviewed and selected from 79 submissions. The papers have been organized in topical sections on satisfiability of Boolean formulas, satisfiability modulo theory, rewriting, arithmetic reasoning and mechanizing mathematics, first-order logic and proof theory, first-order theorem proving, higher-order theorem proving, modal and temporal logics, non-classical logics, and verification.
Автор: Renate A. Schmidt; Cl?udia Nalon Название: Automated Reasoning with Analytic Tableaux and Related Methods ISBN: 331966901X ISBN-13(EAN): 9783319669014 Издательство: Springer Рейтинг: Цена: 9083.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book contains the proceedings of the 26th International Conference on Automated Reasoning with Analytics Tableaux and Related Methods, TABLEAUX 2017, held in Brasilia, Bazil, in September 2017.
Автор: Uwe Egly; Christian G. Fernm?ller Название: Automated Reasoning with Analytic Tableaux and Related Methods ISBN: 3540439293 ISBN-13(EAN): 9783540439295 Издательство: Springer Рейтинг: Цена: 9781.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: These are the refereed proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2002, held in Copenhagen, Denmark, in July/August 2002.
Автор: Pierangelo Miglioli; Ugo Moscato; Daniele Mundici; Название: Theorem Proving with Analytic Tableaux and Related Methods ISBN: 3540612084 ISBN-13(EAN): 9783540612087 Издательство: Springer Рейтинг: Цена: 9781.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: These conference proceedings present state-of-the-art results in this dynamic area of research. Besides more traditional aspects of tableaux reasoning, the book also contains several papers dealing with other approaches to automated reasoning.
Автор: Robert Stephen Boyer Название: Automated Reasoning ISBN: 9401055424 ISBN-13(EAN): 9789401055420 Издательство: Springer Рейтинг: Цена: 13974.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: These essays are collected together here not only to acknowledge Bledsoe`s manifold and substantial scientific contributions but also to express our appreciation for the great care and energy that he has devoted to nurturing many of the scientists working in those scientific fields he has helped found.
Автор: Harald Ganzinger; David McAllester; Andrei Voronko Название: Logic Programming and Automated Reasoning ISBN: 3540664920 ISBN-13(EAN): 9783540664925 Издательство: Springer Рейтинг: Цена: 12157.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Included among the topics addressed in these proceedings are: logic programming, constraint logic programming, complexity aspects, logical inference search, model checking, formal specification, rewriting, practical reasoning, Horn clauses, linear logic, and partial evaluation.
Описание: This collection arose from a series of lectures for workers in computer science and other disciplines. The lectures were intended to familiarize them with some advanced computer based systems for the conceptualization, design, implementation, simulation, and logical analysis of applications.
Автор: Andrei Voronkov Название: Logic Programming and Automated Reasoning ISBN: 354055727X ISBN-13(EAN): 9783540557272 Издательство: Springer Рейтинг: Цена: 13974.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Contains the proceedings of the conference on Logic Programming and Automated Reasoning, held in St Petersburg, July, 1992. The aim of the conference was to bring together researchers from the Russian and the international logic and theorem proving communities.
Автор: Jacques Calmet; Belaid Benhamou; Olga Caprotti; La Название: Artificial Intelligence, Automated Reasoning, and Symbolic Computation ISBN: 3540438653 ISBN-13(EAN): 9783540438656 Издательство: Springer Рейтинг: Цена: 11179.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constitutes the proceedings of the joint International Conferences on Artificial Intelligence and Symbolic Computation, and Calculemus 2002, held in France in 2002. The 24 papers cover automated theorem proving, logical reasoning, mathematical modeling, algebraic computations and more.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
