LEADER 01347nam--2200409---450-
001 990000319460203316
010   $a3-540-67797-6
035   $a0031946
035   $aUSA010031946
035   $a(ALEPH)000031946USA01
035   $a0031946
100   $a--------d--------km-y0itay0103----ba
101   $aeng
102   $aDE
105   $a||||||||001yy
200 1 $aComputational logic - CL 2000$efirst international conference$eLondon, UK, July 24-28, 2000$eproceedings$fJohn Lloyd ...<et al.> (eds.)
205   $aBerlino$dSpringer-Verlag$fc2000
215   $aXIX, 1379 p.$cill.$d20 cm
225 2 $aLecture notes artificial intelligence$v1861
410   $12001$aLecture notes artificial intelligence
461  1$1001-------$12001
610 0 $aElaborazione elettronica$xCongressi$z2000
610 0 $aLogica matematica$xCongressi$z2000
610 0 $aCongressi$yLondra$z2000
676   $a004
702  1$aLLOYD,$bJohn
801  0$aIT$bsalbc$gISBD
912   $a990000319460203316
951   $a006.3 LNIA (1861)$bCBS 0025548$c006$d00103182
959   $aBK
969   $aSCI
979   $aPATTY$b90$c20010108$lUSA01$h1114
979   $aALANDI$b90$c20010402$lUSA01$h1655
979   $c20020403$lUSA01$h1640
979   $aPATRY$b90$c20040406$lUSA01$h1622
996   $aComputational logic - CL 2000$9878886
997   $aUNISA