Handbook of logic in artificial intelligence and logic programming
By: edited by Dov M. Gabbay and C. J. Hogger and J. A. Robinson. Vol. 2, Deduction methodologies / volume coordinator, J. Siekmann.
Contributors: Gabbay, Dov M., 1945-; Hogger, Christopher John.; Robinson, J. A.
Series: Oxford science publications
Publisher: Clarendon Press
Published: 1994
Place of publication: Oxford
Language: eng
Number of pages: 511
Subjects: Logic programming.; Artificial intelligence.; Logic, Symbolic and mathematical.
Notes: Includes index.