Handbook of logic in artificial intelligence and logic programming : epistemic and temporal reasoning / ed. by Dov M. Gabbay, C. J. Hogger, J. A. Robinson.
- Oxford : Clarendon press , 1995 .
- XVI, 611 p. : il. ; 25 cm.
- (Handbooks of logic in computer science and artificial intelligence and logic programming)
ISBN 0-19-853791-3
Inteligência artificial
Programação em lógica
LCC Q335
ISBN 0-19-853791-3
Inteligência artificial
Programação em lógica
LCC Q335