Handbook of logic in artificial intelligence and logic programming - Gabbay, Dov M.; Hogger, C. J.; Robinson, J. A. (Oxford : Clarendon, 1993)
Includes index.
Keywords: Artificial intelligence; Logic programming; Logic, Symbolic and mathematical