Interactive Theorem Proving, Mauricio Ayala-Rinc?n; C?sar A. Mu?oz

Автор: Yves Bertot; G. Huet; Pierre Cast?ran; C. Paulin-M
Название: Interactive Theorem Proving and Program Development
ISBN: 3642058809 ISBN-13(EAN): 9783642058806
Издательство: Springer
Рейтинг:
Цена: 69870.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: A practical introduction to the development of proofs and certified programs using Coq. An invaluable tool for researchers, students, and engineers interested in formal methods and the development of zero-fault software.

Автор: Wolfgang Bibel
Название: Automated Theorem Proving
ISBN: 3528185201 ISBN-13(EAN): 9783528185206
Издательство: Springer
Рейтинг:
Цена: 81050.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Since both the coments and the structure of the book appeared to be successful, only minor changes were made. As the world today has become so complex that humans apparently fail to manage it properly with their intellectual gifts, the realization of this dream might be regarded even as something like a necessity.

Автор: David A. Plaisted; Wolfgang Bibel; Yunshan Zhu; Ru
Название: The Efficiency of Theorem Proving Strategies
ISBN: 3528155744 ISBN-13(EAN): 9783528155742
Издательство: Springer
Рейтинг:
Цена: 62410.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Helping readers gain a theoretical understanding of the efficiencies of different theorem-proving methods, this book gives asymptotic bounds on the sizes of the search spaces generated by many common theorem-proving strategies.

Автор: Stefan Berghofer; Tobias Nipkow; Christian Urban;
Название: Theorem Proving in Higher Order Logics
ISBN: 364203358X ISBN-13(EAN): 9783642033582
Издательство: Springer
Рейтинг:
Цена: 93160.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 22nd International Conference TPHOLs 2009 Munich Germany August 1720 2009 Proceedings. .

Автор: Christian Urban; Xingyuan Zhang
Название: Interactive Theorem Proving
ISBN: 3319221019 ISBN-13(EAN): 9783319221014
Издательство: Springer
Рейтинг:
Цена: 59630.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the proceedings of the 6th International Conference on Interactive Theorem Proving, ITP 2015, held in Nanjing, China, in August 2015. The topics range from theoretical foundations to implementation aspects and applications in program verification, security and formalization of mathematics.

Автор: Gerwin Klein; Ruben Gamboa
Название: Interactive Theorem Proving
ISBN: 3319089692 ISBN-13(EAN): 9783319089690
Издательство: Springer
Рейтинг:
Цена: 67080.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the proceedings of the 5th International Conference on Interactive Theorem Proving, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, in Vienna, Austria, in July 2014.

Автор: Blanchette
Название: Interactive Theorem Proving
ISBN: 3319431439 ISBN-13(EAN): 9783319431437
Издательство: Springer
Рейтинг:
Цена: 68950.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 7th International Conference on Interactive Theorem Proving, ITP 2016, held in Nancy, France, in August 2016. The 27 full papers and 5 short papers presented were carefully reviewed and selected from 55 submissions.

Автор: Matt Kaufmann; Lawrence C. Paulson
Название: Interactive Theorem Proving
ISBN: 3642140513 ISBN-13(EAN): 9783642140518
Издательство: Springer
Рейтинг:
Цена: 97820.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constitutes the proceedings of the First International Conference on Interactive Theorem proving, ITP 2010, held in Edinburgh, UK, in July 2010. This title features the papers that are organized in topics such as counterexample generation, hybrid system verification, translations from one formalism to another, and cooperation between tools.

Автор: Sandrine Blazy; Christine Paulin-Mohring; David Pi
Название: Interactive Theorem Proving
ISBN: 364239633X ISBN-13(EAN): 9783642396335
Издательство: Springer
Рейтинг:
Цена: 46570.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 4th International Conference on Interactive Theorem Proving, ITP 2013, held in Rennes, France, in July 2013. The 26 regular full papers presented together with 7 rough diamond papers, 3 invited talks, and 2 invited tutorials were carefully reviewed and selected from 66 submissions.

Автор: Elsa L. Gunter; Amy Felty
Название: Theorem Proving in Higher Order Logics
ISBN: 3540633790 ISBN-13(EAN): 9783540633792
Издательство: Springer
Рейтинг:
Цена: 65210.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume comprises the proceedings of the 10th International Conference on Theorem Proving in Higher Order Logics, TPHOLs `97. Papers cover work related to all aspects of theorem proving in higher order logics, particularly based on secure mechanization of those logics.

Автор: Pierangelo Miglioli; Ugo Moscato; Daniele Mundici;
Название: Theorem Proving with Analytic Tableaux and Related Methods
ISBN: 3540612084 ISBN-13(EAN): 9783540612087
Издательство: Springer
Рейтинг:
Цена: 65210.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.

Автор: Peter Baumgartner; Reiner H?hnle; Joachim Posegga
Название: Theorem Proving with Analytic Tableaux and Related Methods
ISBN: 3540593381 ISBN-13(EAN): 9783540593386
Издательство: Springer
Рейтинг:
Цена: 69870.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.