Handbook of logic in artificial intelligence and logic programming
Dov M Gabbay 1945-; Christopher John Hogger; J.A Robinson (John Alan)
Oxford Clarendon Press Oxford New York Oxford University Press 1993-1998
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68T10.01 H236 v.4 e.1 ) e outros locais(Acessar)