01212nam2-22003731i-450-99000148443040332120090804131028.00-19-853745-X000148443FED01000148443(Aleph)000148443FED0100014844320010626d1993----km-y0itay50------baengGB----a---001yyLogical foundationsedited by Dov M. Gabbay and C.J. Hogger and J.A. Robinsonvolume co-ordinator J. SiekmannOxfordClarendon Press1993xiii, 518 p.24 cmHandbook of logic in computer science and artificial intelligence and logic programming0010001484422001Handbook of logic in artificial intelligence and logic programming1Intelligenza artificiale006.3Gabbay,Dov M.<1945- >Hogger,Christofer JohnRobinson,J.A.Siekmann,JörgITUNINARICAUNIMARCBK990001484430403321006.3-HAN-1-(1912SC1SC1Logical foundations378105UNINA