LEADER 01301nam--2200385---450-
001 990002962260203316
005 20070809125454.0
010   $a3-540-22152-2
035   $a000296226
035   $aUSA01000296226
035   $a(ALEPH)000296226USA01
035   $a000296226
100   $a20070809d2004----km-y0itay0103----ba
101 0 $aeng
102   $aDE
105   $aa|||||||001yy
200 1 $aProgram Development in Computational Logic$ea decade of research advances in logic-based program development$fMaurice Bruynooghe, Kunk-Kiu Lau(Eds.)
210   $aBerlin [etc.]$cSpringer$dcopyr. 2004
215   $aVIII, 538 p.$cill.$d24 cm.
225 2 $aLecture notes in computer science$v3049$iState of the Art Survey
410  0$12001$aLecture notes in computer science$v3049$iState of the Art Survey
454  1$12001
461  1$1001-------$12001
606 0 $aInformatica$xProgrammazione
676   $a004.071245
700  1$aBRUYNOOGHE,$bMaurice$0597818
701  1$aLAU,$bKung-Kiu$0597819
801  0$aIT$bsalbc$gISBD
912   $a990002962260203316
951   $a001 LNCS 3049$b31129/CBS$c001$d00215279
959   $aBK
969   $aSCI
979   $aSENATORE$b90$c20070809$lUSA01$h1254
996   $aProgram Development in Computational Logic$91027011
997   $aUNISA