Automated Reasoning, St?phane Demri; Deepak Kapur; Christoph Weidenbach

Автор: Alessandro Armando; Peter Baumgartner; Gilles Dowe
Название: Automated Reasoning
ISBN: 3540710698 ISBN-13(EAN): 9783540710691
Издательство: Springer
Рейтинг:
Цена: 93160.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Presents the refereed proceedings of the 4th International Joint Conference on Automated Reasoning, IJCAR 2008, held in Sydney, Australia, in August 2008. This title includes papers that address the spectrum of research in automated reasoning and are organized in topical sections on specific theories.

Автор: Martin Giese; Arild Waaler
Название: Automated Reasoning with Analytic Tableaux and Related Methods
ISBN: 3642027156 ISBN-13(EAN): 9783642027154
Издательство: Springer
Рейтинг:
Цена: 69870.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 18th International Conference TABLEAUX 2009 Oslo Norway July 610 2009 Proceedings. .

Автор: J?rgen Giesl; Reiner H?hnle
Название: Automated Reasoning
ISBN: 3642142028 ISBN-13(EAN): 9783642142024
Издательство: Springer
Рейтинг:
Цена: 97820.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constitutes the refereed proceedings of the 5th International Joint Conference on Automated Reasoning, IJCAR 2010, held in Edinburgh, UK, in July 2010 as part of the Federated Logic Conference, FLoC 2010.

Автор: Olivetti
Название: Automated Reasoning
ISBN: 3319402285 ISBN-13(EAN): 9783319402284
Издательство: Springer
Рейтинг:
Цена: 68950.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.

Автор: Hans De Nivelle
Название: Automated Reasoning with Analytic Tableaux and Related Methods
ISBN: 331924311X ISBN-13(EAN): 9783319243115
Издательство: Springer
Рейтинг:
Цена: 52170.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 24th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2015, held in Wroclaw, Poland, in September 2015. The 19 full papers and 2 papers presented in this volume were carefully reviewed and selected from 34 submissions.

Автор: Michel Parigot; Andrei Voronkov
Название: Logic for Programming and Automated Reasoning
ISBN: 3540412859 ISBN-13(EAN): 9783540412854
Издательство: Springer
Рейтинг:
Цена: 83850.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This title is organized in topical sections on nonmonotonic reasoning, descriptive complexity, specification and automatic proof-assistants, theorem proving, verification, logic programming and constraint logic programming.

Автор: Andrei Voronkov
Название: Logic Programming and Automated Reasoning
ISBN: 354055727X ISBN-13(EAN): 9783540557272
Издательство: Springer
Рейтинг:
Цена: 93160.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.

Автор: Wos Larry & Pieper Gail W
Название: Fascinating Country In The World Of Computing, A: Your Guide To Automated Reasoning
ISBN: 9810239106 ISBN-13(EAN): 9789810239107
Издательство: World Scientific Publishing
Рейтинг:
Цена: 127770.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book shows you - through examples and puzzles and intriguing questions - how to make your computer reason logically. To help you, the book includes a CD-ROM with OTTER, the world's most powerful general-purpose reasoning program. The automation of reasoning has advanced markedly in the past few decades, and this book discusses some of the remarkable successes that automated reasoning programs have had in tackling challenging problems in mathematics, logic, program verification, and circuit design. Because the intended audience includes students and teachers, the book provides many exercises (with hints and also answers), as well as tutorial chapters that gently introduce readers to the field of logic and to automated reasoning in general. For more advanced researchers, the book presents challenging questions, many of which are still unsolved.

Автор: Rajeev Gore; Alexander Leitsch; Tobias Nipkow
Название: Automated Reasoning
ISBN: 3540422544 ISBN-13(EAN): 9783540422549
Издательство: Springer
Рейтинг:
Цена: 111790.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: Jacques Calmet; Belaid Benhamou; Olga Caprotti; La
Название: Artificial Intelligence, Automated Reasoning, and Symbolic Computation
ISBN: 3540438653 ISBN-13(EAN): 9783540438656
Издательство: Springer
Рейтинг:
Цена: 74530.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.

Автор: Uwe Egly; Christian G. Fernm?ller
Название: Automated Reasoning with Analytic Tableaux and Related Methods
ISBN: 3540439293 ISBN-13(EAN): 9783540439295
Издательство: Springer
Рейтинг:
Цена: 65210.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.

Автор: Peter E. Lauer
Название: Functional Programming, Concurrency, Simulation and Automated Reasoning
ISBN: 3540568832 ISBN-13(EAN): 9783540568834
Издательство: Springer
Рейтинг:
Цена: 81050.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.