LEADER 01640nam--2200457---450-
001 990000319930203316
010   $a3-540-67664-3
035   $a0031993
035   $aUSA010031993
035   $a(ALEPH)000031993USA01
035   $a0031993
100   $a--------d--------km-y0itay0103----ba
101   $aeng
102   $aDE
105   $a||||||||001yy
200 1 $aAutomated deduction - CADE 17$e17th international conference on automated deduction$ePittsburg, PA, USA, June 17-20, 2000 proceedings$fDavid McAllester (ed.)
205   $aBerlino$dSpringer-Verlag$fc2000
215   $aXII, 512 p.$cill.$d25 cm
225 2 $aLecture notes in arteficial intelligence$f1831
300   $aSerie principale Lecture notes in computer science
410   $12001$aLecture notes in arteficial intelligence
461  1$1001-------$12001
610 0 $aIntelligenza artificiale$xCongressi$z2000
610 0 $aLogica matematica$xCongressi$z2000
610 0 $aLogica simbolica$xCongressi$z2000
610 0 $aCongressi$yPiisburg$z2000
676   $a006.3
702  1$aMcALLESTER,$bDavid
712 12$aInternational conference on Automated Deduction <17.; 2000; Pittsburg>
801  0$aIT$bsalbc$gISBD
912   $a990000319930203316
951   $a006.3 LNIA (1831)$bCBS 0025596$c006.3$d00103204
959   $aBK
969   $aSCI
979   $aPATTY$b90$c20010108$lUSA01$h1333
979   $aALANDI$b90$c20010402$lUSA01$h1643
979   $aALANDI$b90$c20010405$lUSA01$h1024
979   $c20020403$lUSA01$h1640
979   $aPATRY$b90$c20040406$lUSA01$h1622
996   $aAutomated deduction - CADE 17$9878943
997   $aUNISA