LEADER 01310nam--2200385---45-- 001 990001113810203316 005 20021210155000.0 010 $a3-540-43959-5 035 $a000111380 035 $aUSA01000111380 035 $a(ALEPH)000111381USA01 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 2$fAntonis C.Kakas... [et al.] (eds.) 210 $aBerlin [etc.]$cSpringer-Verlag$dcopyr. 2002 215 $aXII, 628p.$cill.$d20 cm 225 $aLecture notes in artificial intelligence$v2408 410 $12001$aLecture notes in artificial intelligence$v2408 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 $a990001113810203316 951 $a006.3 LNIA (2408)$b0026908 CBS$c006.3$d00112022 959 $aBK 969 $aSCI 979 $aDIGIUSEPPE$b90$c20021210$lUSA01$h1538 979 $aDIGIUSEPPE$b90$c20021210$lUSA01$h1550 979 $aPATRY$b90$c20040406$lUSA01$h1717 996 $aComputational logic: logic programming and beyond$9981415 997 $aUNISA