Automated Deduction - CADE-25, Amy P. Felty; Aart Middeldorp

Автор: Wolfgang Bibel; P.H. Schmitt
Название: Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
ISBN: 0792351312 ISBN-13(EAN): 9780792351313
Издательство: Springer
Рейтинг:
Цена: 27944.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Features the concepts and methods in automated deduction. This work focuses on basic research in deduction and on the knowledge on which modern deductive systems are based. It presents techniques of implementation and details about system building. It deals with applications of deductive techniques.

Автор: Wolfgang Bibel; P.H. Schmitt
Название: Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
ISBN: 0792351304 ISBN-13(EAN): 9780792351306
Издательство: Springer
Рейтинг:
Цена: 35218.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Presents the concepts and methods in automated deduction. This work focuses on basic research in deduction and on the knowledge on which modern deductive systems are based. It presents techniques of implementation and details about system building. It deals with applications of deductive techniques.

Автор: Wolfgang Bibel; P.H. Schmitt
Название: Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
ISBN: 0792351290 ISBN-13(EAN): 9780792351290
Издательство: Springer
Рейтинг:
Цена: 39970.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Covers development in the field of automated deduction. This book focuses on the investigation of problems derived from realistic applications. It focuses on basic research in deduction and on the knowledge on which modern deductive systems are based. It presents techniques of implementation and details about system building.

Автор: Maria Paola Bonacina
Название: Automated Deduction -- CADE-24
ISBN: 3642385737 ISBN-13(EAN): 9783642385735
Издательство: Springer
Рейтинг:
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the proceedings of the 24th International Conference on Automated Deduction, CADE-24, held in Lake Placid, NY, USA, in June 2013.

Автор: Claude Kirchner; Helene Kirchner
Название: Automated Deduction - CADE-15
ISBN: 3540646752 ISBN-13(EAN): 9783540646754
Издательство: Springer
Рейтинг:
Цена: 12577.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: A collection of papers addressing issues in automated deduction and theorem-proving based on resolution, superposition, model generation and elimination, or connection tableau calculus, in first-order, higher-order, intuitionistic, or modal logics. Applications are also discussed.

Автор: Ricardo Caferra; Gernot Salzer
Название: Automated Deduction in Classical and Non-Classical Logics
ISBN: 3540671900 ISBN-13(EAN): 9783540671909
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This title presents papers reflecting the status of research in automated deduction in classical and non-classical logics. Most of the results presented rely on resolution or tableaux methods with a few exceptions choosing the equational paradigm.

Автор: Wolfgang Bibel; P.H. Schmitt
Название: Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
ISBN: 9048150515 ISBN-13(EAN): 9789048150519
Издательство: Springer
Рейтинг:
Цена: 35218.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: BASIC CONCEPTS OF INTERACTIVE THEOREM PROVING Interactive Theorem Proving ultimately aims at the construction of powerful reasoning tools that let us (computer scientists) prove things we cannot prove without the tools, and the tools cannot prove without us.

Автор: Leonardo de Moura
Название: Automated Deduction – CADE 26
ISBN: 3319630458 ISBN-13(EAN): 9783319630458
Издательство: Springer
Рейтинг:
Цена: 11179.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the proceeding of the 26th International Conference on Automated Deduction, CADE-26, held in Gothenburg, Sweden, in August 2017. The 26 full papers and 5 system descriptions presented were carefully reviewed and selected from 69 submissions.

Автор: Deepak Kapur
Название: Automated Deduction - CADE-11
ISBN: 3540556028 ISBN-13(EAN): 9783540556022
Издательство: Springer
Рейтинг:
Цена: 18167.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This volume contains the papers presented at the 11th International Conference on Automated Deduction (CADE-11) held in Saratoga Springs, New York, in June 1992. Topics covered include: resolution; term writing; natural deduction; parallel theorem provers; and unification theory.

Автор: David McAllester
Название: Automated Deduction - CADE-17
ISBN: 3540676643 ISBN-13(EAN): 9783540676645
Издательство: Springer
Рейтинг:
Цена: 13974.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The refereed proceedings of the 17th International Conference on Automated Deduction. The research papers and system descriptions presented cover a variety of topics related to theorem proving and its applications. Also included are contributions corresponding to invited talks and tutorials.

Автор: Renate Schmidt
Название: Automated Deduction – CADE-22
ISBN: 3642029582 ISBN-13(EAN): 9783642029585
Издательство: Springer
Рейтинг:
Цена: 13974.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 22nd International Conference on Automated Deduction Montreal Canada August 27 2009 Proceedings. .

Автор: Francisco Botana; Pedro Quaresma
Название: Automated Deduction in Geometry
ISBN: 331921361X ISBN-13(EAN): 9783319213613
Издательство: Springer
Рейтинг:
Цена: 5590.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the thoroughly refereed post-workshop proceedings of the 10th International Workshop on Automated Deduction in Geometry, ADG 2014, held in Coimbra, Portugal, in July 2014. The papers show the trend set of current research in automated reasoning in geometry.