Search Images Maps Play YouTube News Gmail Drive More »
Sign in
Books Books 1 - 10 of about 86 citing Automated theorem proving.

Many-Valued Logics 2: Automated Reasoning and Practical Applications

Leonard Bolc, Piotr Borowik - Mathematics - 2003 - 303 pages
Many-valued logics are becoming increasingly important in all areas of computer science. This is the second volume of an authoritative two-volume handbook on many valued logics ...
Limited preview - About this book

Logic for Computer Scientists

Uwe Schöning - Computers - 2008 - 166 pages
This book introduces the notions and methods of formal logic from a computer science standpoint, covering propositional logic, predicate logic, and foundations of logic ...
Limited preview - About this book

Automated Theorem Proving in Software Engineering

Johann M. Schumann - Business & Economics - 2001 - 228 pages
The growing demand for high quality, safety, and security of software systems can only be met by rigorous application of formal methods during software design. Tools for formal ...
Limited preview - About this book

Proof Theory and Automated Deduction

Jean Goubault-Larrecq, I. Mackie - Computers - 2001 - 444 pages
The last twenty years have witnessed an accelerated development of pure and ap plied logic, particularly in response to the urgent needs of computer science. Many traditional ...
Limited preview - About this book

Logical Foundations for Rule-Based Systems

Antoni Ligeza - Computers - 2006 - 309 pages
Thinking in terms of facts and rules is perhaps one of the most common ways of approaching problem de?nition and problem solving both in everyday life and under more formal ...
Limited preview - About this book

Formal Techniques in Artificial Intelligence: A Sourcebook

Ranan B. Banerji - Computers - 1990 - 437 pages
Contrary to general opinion, Artificial Intelligence research has often been carried out from a mathematical point of view, and frequently incorporates techniques of ...
Snippet view - About this book

Logic from Computer Science: Proceedings of a Workshop Held November 13 - 17 ...

Yiannis N. Moschovakis - Mathematics - 1992 - 608 pages
The volume is the outgrowth of a workshop with the same title held at MSRI in the week of November 13-17, 1989, and for those who did not get it, Logic from Computer Science is ...
Limited preview - About this book

Handbook of Tableau Methods

Marcello D'Agostino - Computers - 1999 - 670 pages
The tableau methodology, invented in the 1950's by Beth and Hintikka and later perfected by Smullyan and Fitting, is today one of the most popular proof theoretical ...
Limited preview - About this book

  1. My library
  2. Help
  3. Advanced Book Search