Automated Deduction in Geometry, Dongming Wang

Автор: Mauricio Ayala Rincon
Название: Applied logic for computer scientists. Computational Deduction and formal Proofs
ISBN: 3319516515 ISBN-13(EAN): 9783319516516
Издательство: Springer
Рейтинг:
Цена: 6288.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: A strong mathematical foundation of the logical engines available in modern proof assistants, such as the PVS verification system, is essential for computer scientists, mathematicians and engineers to increment their capabilities to provide formal proofs of theorems and to certify the robustness of software and hardware systems.

Автор: 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.

Автор: 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. .

Автор: 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.

Автор: Andrzej Indrzejczak
Название: Natural Deduction, Hybrid Systems and Modal Logics
ISBN: 9048187842 ISBN-13(EAN): 9789048187843
Издательство: Springer
Рейтинг:
Цена: 36197.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book provides a detailed exposition of one of the most practical and popular methods of proving theorems in logic, called Natural Deduction.

Автор: Xiao-lu Gao; Dongming Wang; Lu Yang
Название: Automated Deduction in Geometry
ISBN: 3540666729 ISBN-13(EAN): 9783540666721
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The refereed proceedings of the Second International Workshop on Automated Deduction in Geometry (ADG`98). Papers cover topics such as automated geometry theorem proving, automated geometry problem solving, plane Euclidean reasoning and Clifford algebraic methods for geometric reasoning.

Автор: 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.

Автор: 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.

Автор: Luiz Carlos Pereira; Edward Hermann Haeusler; Vale
Название: Advances in Natural Deduction
ISBN: 9402406875 ISBN-13(EAN): 9789402406870
Издательство: Springer
Рейтинг:
Цена: 18866.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This collection of original papers by celebrated figures in the field of natural deduction honors the ground-breaking work of Swedish logician Dag Prawits. It provides a wide-ranging survey of the latest research in proof theory and its many applications.

Автор: Luiz Carlos Pereira; Edward Hermann Haeusler; Vale
Название: Advances in Natural Deduction
ISBN: 9400775474 ISBN-13(EAN): 9789400775473
Издательство: Springer
Рейтинг:
Цена: 18866.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This collection of original papers by celebrated figures in the field of natural deduction honors the ground-breaking work of Swedish logician Dag Prawits. It provides a wide-ranging survey of the latest research in proof theory and its many applications.

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

Описание: Constitutes the refereed post-proceedings of the 6th International Workshop on Automated Deduction in Geometry, ADG 2006, held at Pontevedra, Spain, in August/September 2006 as a satellite event of the International Congress of Mathematicians, ICM 2006. This book presents 13 revised full papers.