01220nam2-22003731i-450-99000148444040332120090804130843.00-19-853746-8000148444FED01000148444(Aleph)000148444FED0100014844420010626d1994----km-y0itay50------baengGB----a---001yyDeduction methodologiesedited by Dov M. Gabbay and C.J. Hogger and J.A. Robinsonvolume co-ordinator J. SiekmannOxfordClarendon Press1994xiii, 511 p.24 cmHandbook of logic in computer science and artificial intelligence and logic programming0010001484422001Handbook of logic in artificial intelligence and logic programming2Intelligenza artificiale006.3Gabbay,Dov M.<1945- >Hogger,Christofer JohnRobinson,J.A.Siekmann,JörgITUNINARICAUNIMARCBK990001484440403321006.3-HAN-1-(2913SC1SC1Deduction methodologies378104UNINA