01062nam--2200361---450-9900003584802033160035848USA010035848(ALEPH)000035848USA01003584820010314d1981----km-y0itay0103----baengNL||||||||001yyProgress in pattern recognitionedited by Laveen N. Kanal and Azriel RosenfeldAmsterdamNorth-Holland Publishing Company1981v.22 cm2001001-------2001001.534ROSENFELD,AzrielKANAL,Laveen N.ITsalbcISBD990000358480203316001.534 PRO 1A18279001.53400104964001.534 PRO 1B8229001.53400104963BKSCIPATTY9020010314USA01124220020403USA011643PATRY9020040406USA011625Progress in pattern recognition876648UNISA01528nam--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