01310nam--2200385---45--99000111381020331620021210155000.03-540-43959-5000111380USA01000111380(ALEPH)000111381USA0100011138020021210d2002----km-y0ITAy0103-------baENGDEComputational logic: logic programming and beyondEssays in honour of Robert A.KowalskiPart 2Antonis C.Kakas... [et al.] (eds.)Berlin [etc.]Springer-Verlagcopyr. 2002XII, 628p.ill.20 cmLecture notes in artificial intelligence24082001Lecture notes in artificial intelligence2408Intelligenza artificialeProgrammazione-informaticaKowalski, Robert A.005.74Kakas,AntonisITACBSISBD990001113810203316006.3 LNIA (2408)0026908 CBS006.300112022BKSCIDIGIUSEPPE9020021210USA011538DIGIUSEPPE9020021210USA011550PATRY9020040406USA011717Computational logic: logic programming and beyond981415UNISA