Handbook of logic in artificial intelligence and logic programming

Bibliographic Details
Main Author:	Gabbay, Dov M.
Format:	Book
Language:	English
Published:	Oxford Clarendon Press 1994
Subjects:	Artificial intelligence. Logic programming. Logic, Symbolic and mathematical.