01528nam--2200397---450 99000111754020331620180312154803.03-540-00010-0000111754USA01000111754(ALEPH)000111754USA0100011175420021218d2002----km-y0ITAy0103-------baENGDELogic for programming, artificial intelligence, and reasoning9th International conference, LPAR 2002Tbilisi, Georgia, October 2002proceedingsMatthias Baaz... <et al.> (eds.)Berlin [etc.]Springer-Verlagcopyr. 2002XV, 463 p.ill.20 cmLecture notes in artificial intelligence2514Serie principale: Lecture notes in computer science2001Lecture notes in artificial intelligence2514Elaboratori elettroniciProgrammazioneCongressi2002Logica matematicaCongressi2002005.1BAAZ,MatthiasInternational conference, LPAR 2002 <9. ; 2002 ; Tbilisi, Georgia>554592ITACBSISBD990001117540203316006.3 LNIA (2514)0027338 CBS006.300113211BKSCIDIGIUSEPPE9020021218USA011219PATRY9020040406USA011717PATRY9020061002USA011507Logic for programming, artificial intelligence, and reasoning981534UNISA