The Leading eBooks Store Online
3,693,353 members ⚫ 1,195,028 ebooks
New to eBooks.com?Learn more
- Bestsellers - This Week
- Foreign Language Study
- Bestsellers - Last 6 months
- Graphic Books
- Health & Fitness
- Political Science
- Biography & Autobiography
- Psychology & Psychiatry
- Body Mind & Spirit
- House & Home
- Business & Economics
- Children's & Young Adult Fiction
- Juvenile Nonfiction
- Language Arts & Disciplines
- Crafts & Hobbies
- Science Fiction
- Current Events
- Literary Collections
- Literary Criticism
- Literary Fiction
- Social Science
- The Environment
- Sports & Recreation
- Family & Relationships
- Study Aids
- Folklore & Mythology
- Food and Wine
- Performing Arts
- True Crime
- Foreign Language Books
Most popular at the top
- Cambridge University Press 2005; US$ 140.00 US$ 114.80
A unique, systematic and comprehensive introduction to rippling and to the wider subject of automated inductive theorem proving. more...
- IOS Press 2006; US$ 156.00
Software engineers have integrated proof processing into industrial development tools, and these implementations are now getting very efficient. The chapters deal with: The benefits and technical challenges of sharing formal mathematics among interactive theorem provers; proof normalization for various axiomatic theories; abstraction-refinement framework... more...
- Vieweg+Teubner Verlag 2009; US$ 59.46
Allein schon die Anzahl der Beiträge in diesem Band zum 65. Geburtstag von Volker Claus und ihre so unterschiedliche Thematik weist auf die Breite seines Wirkens und die Anerkennung hin, die er in seinem Wirkungsfeld erfährt. Ich k- ne ihn seit er zusammen mit Heidemone Böhle, zu mir kam, um sich darüber zu erkundigen, was man in der Prüfung zum Vordiplom... more...
- OUP Oxford 2012; US$ 11.99 US$ 10.31
Everyone uses computers today. But what do you really know about them? Using the voices of pioneers and leading experts, Peter J. Bentley tells the story of computer science; explaining how and why computers were invented, how they work, looking at real-world examples of computers in use, and considering what will happen in the future. more...
- Elsevier Science 1987; US$ 99.95
The result of the European Summer Meeting of the Association for Symbolic Logic, this volume gives an overview of the latest developments in most of the major fields of logic being actively pursued today. Important new developments in the applications of logic in computer science are presented. Other areas examined include model theory, set theory,... more...
- Elsevier Science 2014; US$ 31.95
A Many-Sorted Calculus Based on Resolution and Paramodulation emphasizes the utilization of advantages and concepts of many-sorted logic for resolution and paramodulation based automated theorem proving. This book considers some first-order calculus that defines how theorems from given hypotheses by pure syntactic reasoning are obtained, shifting... more...
- Elsevier Science 2014; US$ 72.95
Perspectives in Computing: A Computational Logic Handbook contains a precise description of the logic and a detailed reference guide to the associated mechanical theorem proving system, including a primer for the logic as a functional programming language, an introduction to proofs in the logic, and a primer for the mechanical theorem. The publication... more...
- Springer Berlin Heidelberg 2007; US$ 65.31
This book constitutes the refereed proceedings of the 16th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2007, held in Aix en Provence, France. It covers the wide range of logics, from intuitionistic and substructural logics to modal logics (including temporal and dynamic logics), from many-valued... more...