The Leading eBooks Store Online
for Kindle Fire, Apple, Android, Nook, Kobo, PC, Mac, BlackBerry...
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
- 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...
- Oxford University Press 2012; US$ 11.99
There's a hidden science that affects every part of your life. You are fluent in its terminology of email, WiFi, social networking, and encryption. You use its results when you make a telephone call, access the Internet, use any factory-produced product, or travel in any modern car.The discipline is so new that some prefer to call it a branch of... more...
- Vieweg+Teubner Verlag 2009; US$ 79.99
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...
- 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...
- 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...
- Cambridge University Press 2005; US$ 140.00
A unique, systematic and comprehensive introduction to rippling and to the wider subject of automated inductive theorem proving. more...
- Springer Berlin Heidelberg 2007; US$ 99.00
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...