Theorem Proving in Higher Order Logics, Jim Grundy; Malcolm Newey
Автор: 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.
Автор: John Harrison Название: Theorem Proving with the Real Numbers ISBN: 1447115937 ISBN-13(EAN): 9781447115939 Издательство: Springer Рейтинг: Цена: 107130.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book discusses the use of the real numbers in theorem proving. We de- scribe the rigorous definitional construction of the real numbers, using a new version of Cantor`s method, and the formalization of a significant portion of real analysis.
Автор: Monty Newborn Название: Automated Theorem Proving ISBN: 1461265193 ISBN-13(EAN): 9781461265191 Издательство: Springer Рейтинг: Цена: 111790.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This text and software package introduces readers to automated theorem proving, while providing two approaches implemented as easy-to-use programs. These are semantic-tree theorem proving and resolution-refutation theorem proving.
Автор: 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.
Автор: Eduardo Ferm?; Joao Leite Название: Logics in Artificial Intelligence ISBN: 331911557X ISBN-13(EAN): 9783319115573 Издательство: Springer Рейтинг: Цена: 81990.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book constitutes the proceedings of the 14th European Conference on Logics in Artificial Intelligence, JELIA 2014, held in Funchal, Madeira, Portugal, in September 2014. The 35 full papers and 14 short papers included in this volume were carefully reviewed and selected from 121 submissions. logics for uncertain reasoning;
Автор: 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.
Автор: Luca Aceto; Giorgio Bacci; Giovanni Bacci; Anna In Название: Models, Algorithms, Logics and Tools ISBN: 3319631209 ISBN-13(EAN): 9783319631202 Издательство: Springer Рейтинг: Цена: 83850.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: During the last three decades, Kim Guldstrand Larsen has given major contributions across a remarkably wide range of topics, including real-time, concurrent, and probabilistic models of computation, logic in computer science, and model checking.
Автор: Jair Minoro Abe; Seiki Akama; Kazumi Nakamatsu Название: Introduction to Annotated Logics ISBN: 331917911X ISBN-13(EAN): 9783319179117 Издательство: Springer Рейтинг: Цена: 104480.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book is written as an introduction to annotated logics. It provides logical foundations for annotated logics, discusses some interesting applications of these logics and also includes the authors` contributions to annotated logics.
Автор: T. Atanassov Название: Intuitionistic Fuzzy Logics ISBN: 3319489526 ISBN-13(EAN): 9783319489520 Издательство: Springer Рейтинг: Цена: 111790.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание:
The book offers a comprehensive survey of intuitionistic fuzzy logics. By reporting on both the author’s research and others’ findings, it provides readers with a complete overview of the field and highlights key issues and open problems, thus suggesting new research directions. Starting with an introduction to the basic elements of intuitionistic fuzzy propositional calculus, it then provides a guide to the use of intuitionistic fuzzy operators and quantifiers, and lastly presents state-of-the-art applications of intuitionistic fuzzy sets. The book is a valuable reference resource for graduate students and researchers alike.
Автор: D. Loveland; Johann M. Schumann Название: Automated Theorem Proving in Software Engineering ISBN: 3642087590 ISBN-13(EAN): 9783642087592 Издательство: Springer Рейтинг: Цена: 81050.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book can mark the coming of age of automated theorem proving (ATP). The process to maturity has been a continuum, as it is for humans, but this book serves to mark the emergence of ATP into the marketplace. For this book is arguably the first to present for the general computer scientist or mathematician in some technical depth the ability of automated theorem provers to function in the realm where they will earn their living. That realm is as the reasoning engines of verifiers and generators of computer programs, hardware and related products. (We do note some excellent edited collections exist; one of the best is by Bibel and Schmitt, 1998: see this book's bibliogra- phy. ) As we note below, this book does not simply document a brilliant but isolated undertaking. Rather, the book makes clear that a small but steady, and increasing, stream of real-world applications is now appearing. The childhood and adolescence of ATP was both prolonged and spiked with brilliance. The birth year of the field should probably be set as 1956, when the Logic Theorist paper was published by Newell, Shaw and Simon. (However, most likely the first computer generated mathematical proof ap- peared in 1954 as output of a program for Pressburger arithmetic, written by Martin Davis. The work was not published at the time.
Автор: Otmane Ait Mohamed; C?sar Munoz; Sofi?ne Tahar Название: Theorem Proving in Higher Order Logics ISBN: 3540710655 ISBN-13(EAN): 9783540710653 Издательство: Springer Рейтинг: Цена: 65210.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: 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.
Автор: 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).
Казахстан, 010000 г. Астана, проспект Туран 43/5, НП2 (офис 2) ТОО "Логобук" Тел:+7 707 857-29-98 ,+7(7172) 65-23-70 www.logobook.kz
