Higher Order Logic Theorem Proving and Its Applications, Jeffrey J. Joyce; Carl-Johan H. Seger

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

Автор: Richard J. Boulton; Paul B. Jackson
Название: Theorem Proving in Higher Order Logics
ISBN: 354042525X ISBN-13(EAN): 9783540425250
Издательство: Springer
Рейтинг:
Цена: 69870.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume constitutes the proceedings of the 14th International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2001) held 3-6 September 2001 in Edinburgh, Scotland. TPHOLs 2001 was collocated with the 11th Advanced Research Working Conference on Correct Hardware Design and Veri?cation Methods (CHARME 2001).

Автор: Konrad Slind; Annette Bunker; Ganesh C. Gopalakris
Название: Theorem Proving in Higher Order Logics
ISBN: 3540230173 ISBN-13(EAN): 9783540230175
Издательство: Springer
Рейтинг:
Цена: 65210.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Covers the proceedings of the 17th International Conference on Theorem Proving in Higher Order Logics, TPHOLs 2004, held in Park City, Utah, USA, in September 2004. It addresses theorem proving, verification, inductive types, automated deduction, mechanized proofs, mathematical logic, proof theory, type systems, and computability.

Автор: Mark Aagaard; John Harrison
Название: Theorem Proving in Higher Order Logics
ISBN: 3540678638 ISBN-13(EAN): 9783540678632
Издательство: Springer
Рейтинг:
Цена: 93160.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The papers cover aspects of HOL theorem proving, formal verification of hardware and software systems, and formal verification. Among the HOL theorem provers evaluated are COQ, HOL, Isabelle, HOL/SPIN, PVS, and Isabelle/HOL.

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

Автор: Mauricio Ayala-Rinc?n; C?sar A. Mu?oz
Название: Interactive Theorem Proving
ISBN: 331966106X ISBN-13(EAN): 9783319661063
Издательство: Springer
Рейтинг:
Цена: 46570.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 8th International Conference on Interactive Theorem Proving, ITP 2017, held in Brasilia, Brazil, in September 2017. The 28 full papers, 2 rough diamond papers, and 3 invited talk papers presented were carefully reviewed and selected from 65 submissions.

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

Автор: Wen-ts?n Wu; X. Jin; D. Wang
Название: Mechanical Theorem Proving in Geometries
ISBN: 3211825061 ISBN-13(EAN): 9783211825068
Издательство: Springer
Рейтинг:
Цена: 81050.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: " Dur- ing the time of the ancient Greeks, there were two different methods dealing with geometry: one, represented by the Euclid`s "Elements," purely pursued the logical relations among geometric entities, excluding completely the quantita- tive relations, as to establish the axiom system of geometry.

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

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

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

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