Journals Higher Education
Important OUP's Response to COVID-19 Learn more



This item is printed to order. Items which are printed to order are normally despatched and charged within 5-10 days.

Published: 17 March 1994

526 Pages | line figures


ISBN: 9780198537465

Also Available As:


Bookseller Code (AQ)

Handbook of Logic in Artificial Intelligence and Logic Programming

Volume 2: Deduction Methodologies

Dov M. Gabbay, C. J. Hogger, and J. A. Robinson
Volume Co-ordinator: J. Siekmann

Clarendon Press

  • Contributors are experts from around the world
  • The definitive reference for logic - the basis of computer science
  • Volume 2 covers deduction methodologies