LEADER 01435nam--2200397---45-- 001 990001113800203316 005 20021210155105.0 010 $a3-540-43959-5 035 $a000111380 035 $aUSA01000111380 035 $a(ALEPH)000111380USA01 035 $a000111380 100 $a20021210d2002----km-y0ITAy0103-------ba 101 0 $aENG 102 $aDE 200 1 $aComputational logic: logic programming and beyond$eEssays in honour of Robert A.Kowalski$ePart 1$fAntonis C.Kakas... [et al.] (eds.) 210 $aBerlin [etc.]$cSpringer-Verlag$dcopyr. 2002 215 $aVIII, 675p.$cill.$d20 cm 225 $aLecture notes in artificial intelligence$v2407 410 $12001$aLecture notes in artificial intelligence$v2407 610 1 $aIntelligenza artificiale 610 1 $aProgrammazione-informatica 610 1 $aKowalski, Robert A. 676 $a005.74 702 1$aKakas,$bAntonis 801 0$aITA$bCBS$gISBD 912 $a990001113800203316 951 $a006.3 LNIA (2407)$b0026907 CBS$c006.3$d00112021 959 $aBK 969 $aSCI 979 $aDIGIUSEPPE$b90$c20021210$lUSA01$h1534 979 $aDIGIUSEPPE$b90$c20021210$lUSA01$h1551 979 $aPATRY$b90$c20040406$lUSA01$h1717 996 $aComputational logic: logic programming and beyond$9981415 997 $aUNISA Z30 2$lUSA50$LAdministrative$mISSUE$1SCI$ASCI$3006.3LNAI (2407)$60026907 CBS$500112021$820021210$f01$FPrest. 30 gg