The Leading eBooks Store Online

3,629,807 members ⚫ 1,172,494 ebooks

New to

Learn more
Browse our categories
  • Bestsellers - This Week
  • Foreign Language Study
  • Pets
  • Bestsellers - Last 6 months
  • Games
  • Philosophy
  • Archaeology
  • Gardening
  • Photography
  • Architecture
  • Graphic Books
  • Poetry
  • Art
  • Health & Fitness
  • Political Science
  • Biography & Autobiography
  • History
  • Psychology & Psychiatry
  • Body Mind & Spirit
  • House & Home
  • Reference
  • Business & Economics
  • Humor
  • Religion
  • Children's & Young Adult Fiction
  • Juvenile Nonfiction
  • Romance
  • Computers
  • Language Arts & Disciplines
  • Science
  • Crafts & Hobbies
  • Law
  • Science Fiction
  • Current Events
  • Literary Collections
  • Self-Help
  • Drama
  • Literary Criticism
  • Sex
  • Education
  • Literary Fiction
  • Social Science
  • The Environment
  • Mathematics
  • Sports & Recreation
  • Family & Relationships
  • Media
  • Study Aids
  • Fantasy
  • Medical
  • Technology
  • Fiction
  • Music
  • Transportation
  • Folklore & Mythology
  • Nature
  • Travel
  • Food and Wine
  • Performing Arts
  • True Crime
  • Foreign Language Books
Automatic theorem proving

  • A Many-Sorted Calculus Based on Resolution and Paramodulationby Christoph Walther

    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...

  • Automated Theorem Proving: A Logical Basisby D.W. Loveland

    Elsevier Science 2014; US$ 72.95

    Automated Theorem Proving: A Logical Basis more...

  • A Computational Logic Handbookby Robert S. Boyer; J Strother Moore; Werner Rheinboldt; Daniel Siewiorek

    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...

  • Digitizedby Peter J. Bentley

    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...

  • There's Something About Gödelby Francesco Berto

    Wiley 2011; US$ 33.95 US$ 29.42

    Berto?s highly readable and lucid guide introduces students and the interested reader to Gödel?s celebrated Incompleteness Theorem , and discusses some of the most famous - and infamous - claims arising from Gödel's arguments. Offers a clear understanding of this difficult subject by presenting each of the key steps of the Theorem in separate... more...

  • Informatik als Dialog zwischen Theorie und Anwendungby Volker Diekert; Karsten Weicker; Nicole Weicker

    Vieweg+Teubner Verlag 2009; US$ 69.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...

  • Automated Deduction ? CADE-22by Renate Schmidt

    Springer Berlin Heidelberg 2009; US$ 139.00

    This book constitutes the refereed proceedings of the 22nd International Conference on Automated Deduction, CADE-22, held in Montreal, Canada, in August 2009. The 27 revised full papers and 5 system descriptions presented were carefully reviewed and selected from 77 submissions. Furthermore, three invited lectures by distinguished experts in the area... more...

  • Automated Technology for Verification and Analysisby Kedar Namjoshi; Tomohiro Yoneda; Teruo Higashino; Yoshio Okamura

    Springer Berlin Heidelberg 2007; US$ 139.00

    This book constitutes the refereed proceedings of the 5th International Symposium on Automated Technology for Verification and Analysis, ATVA 2007. The 29 revised full papers presented together with seven short papers address theoretical methods to achieve correct software or hardware systems, including both functional and non functional aspects;... more...

  • Automated Reasoning with Analytic Tableaux and Related Methodsby Nicola Olivetti

    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...

  • Types for Proofs and Programsby Thorsten Altenkirch; Conor McBride

    Springer Berlin Heidelberg 2007; US$ 99.00

    The refereed post-proceedings of the International Workshop of the Types Working Group are presented in this volume. The 17 papers address all current issues in formal reasoning and computer programming based on type theory, including languages and computerized tools for reasoning; applications in several domains, such as analysis of programming languages;... more...