Handbook of logic in artificial intelligence and logic programming

Bibliographic Details
Other Authors:	Gabbay, Dov M. 1945-, Hogger, Christopher John, Robinson, J.A. (John Alan)
Format:	Book
Language:	English
Published:	Oxford Clarendon Press 1993-<1995>
Subjects:	Logic programming. Artificial intelligence. Logic, Symbolic and mathematical.