Theorem Proving in Higher Order Logics, Mark Aagaard; John Harrison

Автор: Stefan Berghofer; Tobias Nipkow; Christian Urban;
Название: Theorem Proving in Higher Order Logics
ISBN: 364203358X ISBN-13(EAN): 9783642033582
Издательство: Springer
Рейтинг:
Цена: 13974.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 22nd International Conference TPHOLs 2009 Munich Germany August 1720 2009 Proceedings. .

Автор: Otmane Ait Mohamed; C?sar Munoz; Sofi?ne Tahar
Название: Theorem Proving in Higher Order Logics
ISBN: 3540710655 ISBN-13(EAN): 9783540710653
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Presents the refereed proceedings of the 21st International Conference on Theorem Proving in Higher Order Logics, TPHOLs 2008, held in Montreal, Canada, in August 2008. This book includes papers that cover various aspects of theorem proving in higher order logics as well as related topics in theorem proving and verification.

Автор: Konrad Slind; Annette Bunker; Ganesh C. Gopalakris
Название: Theorem Proving in Higher Order Logics
ISBN: 3540230173 ISBN-13(EAN): 9783540230175
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 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.

Автор: Richard J. Boulton; Paul B. Jackson
Название: Theorem Proving in Higher Order Logics
ISBN: 354042525X ISBN-13(EAN): 9783540425250
Издательство: Springer
Рейтинг:
Цена: 10480.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 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).

Автор: Elsa L. Gunter; Amy Felty
Название: Theorem Proving in Higher Order Logics
ISBN: 3540633790 ISBN-13(EAN): 9783540633792
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 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.

Автор: Jim Grundy; Malcolm Newey
Название: Theorem Proving in Higher Order Logics
ISBN: 3540649875 ISBN-13(EAN): 9783540649878
Издательство: Springer
Рейтинг:
Цена: 12577.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 11th International Conference on Theorem Proving in Higher Order Logics, TPHOLs `98, held in Canberra, Australia, in September/October 1998.The 26 revised full papers presented were carefully reviewed and selected from a total of 52 submissions.

Автор: Jeffrey J. Joyce; Carl-Johan H. Seger
Название: Higher Order Logic Theorem Proving and Its Applications
ISBN: 3540578269 ISBN-13(EAN): 9783540578260
Издательство: Springer
Рейтинг:
Цена: 12577.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Containing the edited proceedings of the 1993 Higher-Order Logic User`s Group Workshop, held at the University of British Columbia, Vancouver, Canada in August 1993, this volume explores higher-order logic theory proving, its usage and applications.

Автор: Matt Kaufmann; Lawrence C. Paulson
Название: Interactive Theorem Proving
ISBN: 3642140513 ISBN-13(EAN): 9783642140518
Издательство: Springer
Рейтинг:
Цена: 14673.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 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.

Автор: Mauricio Ayala-Rinc?n; C?sar A. Mu?oz
Название: Interactive Theorem Proving
ISBN: 331966106X ISBN-13(EAN): 9783319661063
Издательство: Springer
Рейтинг:
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 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.

Автор: Christian Urban; Xingyuan Zhang
Название: Interactive Theorem Proving
ISBN: 3319221019 ISBN-13(EAN): 9783319221014
Издательство: Springer
Рейтинг:
Цена: 8944.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 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.

Автор: Wolfgang Bibel
Название: Automated Theorem Proving
ISBN: 3528185201 ISBN-13(EAN): 9783528185206
Издательство: Springer
Рейтинг:
Цена: 12157.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 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.

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

Описание: 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.