Search Images Maps Play YouTube News Gmail Drive More »
Sign in
Books Books 1 - 10 of about 45 related to Handbook of Automated Reasoning.   

Handbook of Automated Reasoning, Volume 1

John Alan Robinson, Andreĭ Voronkov - Computers - 2001 - 2122 pages
This first volume of the Handbook of Automated Reasoning includes topics such as: the early history of automated deduction, classical logic - resolution theorem proving, and ...
Limited preview - About this book

Logic for Programming, Artificial Intelligence, and Reasoning: 20th ...

Martin Davis, Ansgar Fehnker, Annabelle McIver, Andrei Voronkov - Computers - 2015 - 640 pages
This book constitutes the proceedings of the 20th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR-20, held in November 2015, in ...
Limited preview - About this book

Logic Programming and Automated Reasoning: 6th International Conference ...

Harald Ganzinger, David McAllester, Andrei Voronkov - Computers - 1999 - 404 pages
This volume contains the papers presented at the Sixth International Conference on Logic for Programming and Automated Reasoning (LPAR'99), held in Tbilisi, Georgia, September ...
Limited preview - About this book

Logic Programming and Automated Reasoning: 4th International Conference ...

Andrei Voronkov - Computers - 1993 - 386 pages
LPAR is an international conference series aimed at bringing together researchers interested in logic programming and automated reasoning. The research in logic programming ...
Limited preview - About this book

Logic Programming and Automated Reasoning: International Conference LPAR '92 ...

Andrei Voronkov - Computers - 1992 - 509 pages
This volume contains the proceedings of LPAR '92, the international conference on logic programming and automated reasoning held in St. Petersburg in July 1992. The aim of the ...
Limited preview - About this book




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