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 : Oxford ; New York : Clarendon Press ; Oxford University Press, 1993-
Subjects:	Logic programming. Artificial intelligence. Logic, Symbolic and mathematical.