Search Images Maps Play YouTube News Gmail Drive More »
Sign in
Books Books 1 - 10 of about 41 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

Principles of automated theorem proving

David A. Duffy - Computers - 1991 - 243 pages
An overview of ATP techniques for the non-specialist, it discusses all the main approaches to proof: resolution, natural deduction, sequentzen, and the connection calculi. Also ...
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

Symbolic Logic and Mechanical Theorem Proving

Chin-Liang Chang, Richard Char-Tung Lee - Computers - 2014 - 331 pages
This book contains an introduction to symbolic logic and a thorough discussion of mechanical theorem proving and its applications. The book consists of three major parts ...
Limited preview - About this book

Automation of Reasoning: 2: Classical Papers on Computational Logic 1967–1970

Jörg Siekmann, G. Wrightson - Computers - 2012 - 637 pages
"Kind of crude, but it works, boy, it works!" AZan NeweZZ to Herb Simon, Christmas 1955 In 1954 a computer program produced what appears to be the first computer generated ...
Limited preview - About this book




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