01435nam--2200397---45--99000111380020331620021210155105.03-540-43959-5000111380USA01000111380(ALEPH)000111380USA0100011138020021210d2002----km-y0ITAy0103-------baENGDEComputational logic: logic programming and beyondEssays in honour of Robert A.KowalskiPart 1Antonis C.Kakas... [et al.] (eds.)Berlin [etc.]Springer-Verlagcopyr. 2002VIII, 675p.ill.20 cmLecture notes in artificial intelligence24072001Lecture notes in artificial intelligence2407Intelligenza artificialeProgrammazione-informaticaKowalski, Robert A.005.74Kakas,AntonisITACBSISBD990001113800203316006.3 LNIA (2407)0026907 CBS006.300112021BKSCIDIGIUSEPPE9020021210USA011534DIGIUSEPPE9020021210USA011551PATRY9020040406USA011717Computational logic: logic programming and beyond981415UNISAUSA50AdministrativeISSUESCISCI006.3LNAI (2407)0026907 CBS001120212002121001Prest. 30 gg