Journals Higher Education
Important We hope you are enjoying our new website. More information about the changes



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

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

Also of Interest