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

Deduction: Automated Logic

W. Bibel, Steffen Hölldobler - Philosophy - 1993 - 253 pages
Deduction: Automated Logic presents the broad topic of automated deductive reasoning in a concise and comprehensive manner. This book features broad coverage of deductive ...
Snippet view - About this book

Intellectics and Computational Logic: Papers in Honor of Wolfgang Bibel

W. Bibel - Computers - 2000 - 386 pages
"Audience: Researchers working in the areas of Intellectics and Computational Logic, who are convinced that an intelligent behavior of machines should be based on a rigid ...
Limited preview - About this book

Automated Theorem Proving: A Logical Basis

D.W. Loveland - Computers - 2016 - 418 pages
Automated Theorem Proving: A Logical Basis
Limited preview - About this book

First-Order Logic and Automated Theorem Proving

Melvin Fitting - Computers - 1996 - 326 pages
This graduate-level text presents fundamental concepts and results of classical logic in a mathematical style. Applications to automated theorem proving are considered and ...
Limited preview - About this book

Theorem Proving with Analytic Tableaux and Related Methods: 4th ..., Volume 4

Peter Baumgartner, Reiner Hähnle, Joachim Posegga - Computers - 1995 - 352 pages
This volume constitutes the proceedings of the 4th International Workshop on Theorem Proving with Analytic Tableaux and Related Methods, TABLEAU '95, held at Schloß Rheinfels ...
Limited preview - About this book




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