01152nam2-22003611i-450-99000148447040332120090804131611.00-19-853792-1000148447FED01000148447(Aleph)000148447FED0100014844720010626d1998----km-y0itay50------baengGB----a---001yyLogic programmingedited by Dov M. Gabbay and C.J. Hogger and J.A. Robinsonvolume co-ordinator J. SiekmannOxfordClarendon Press1998xv, 799 p.24 cmHandbook of logic in artificial intelligence and logic programming0010001484422001Handbook of logic in artificial intelligence and logic programming5Intelligenza artificiale006.3Gabbay,Dov M.<1945- >Hogger,Christofer JohnRobinson,J.A.ITUNINARICAUNIMARCBK990001484470403321006.3-HAN-1-(5916SC1SC1Logic programming337553UNINA