LEADER 01118nam 2200349 450 001 990000483280203316 035 $a0048328 035 $aUSA010048328 035 $a(ALEPH)000048328USA01 035 $a0048328 100 $a20010530d1982----km-y0itay0103----ba 101 $aeng 102 $aDE 105 $a||||||||001yy 200 1 $a6th Conference on automated deduction$eNew York, USA, june 7-9, 1982$fedited by D.W. Loveland 210 $aBerlin$cSpringer Verlag$d1982 215 $aVII, 389 p.$d24 cm 225 2 $aLecture notes in computer science$v138 410 $12001$aLecture notes in computer science$v138 676 $a519.4 702 1$aLOVELAND,$bD.W. 710 12$aConference on automated deduction <6.; 1982; New York>$0545522 801 0$aIT$bsalbc$gISBD 912 $a990000483280203316 951 $a001 LNCS 138$b4170 SM$c001 LNCS$d00101505 959 $aBK 969 $aSCI 979 $aPATTY$b90$c20010530$lUSA01$h1612 979 $c20020403$lUSA01$h1657 979 $aPATRY$b90$c20040406$lUSA01$h1633 996 $a6th Conference on automated deduction$9888411 997 $aUNISA LEADER 01139nam a2200241 i 4500 001 991003724549707536 005 20021223110350.0 008 020317s|||| it ||| | ||| 020 $a8883041550 035 $ab11854698-39ule_inst 035 $aocm00002323$9ExL 040 $aDip.to Beni Culturali$bita 100 1 $aBruni, Stefano$0185392 245 13$aLe navi antiche di Pisa ad un anno dall'inizio delle ricerche= The ancient ships of Pisa after a year of work /$ca cura di Stefano Bruni ; testi di Marta Abbado...[et al.] 260 $aFirenze :$bEdizioni Polistampa,$c2000 300 $a383 p. :$bill. 500 $aIn testa al front.: Ministero per i Beni e le Attivitą Culturali. Soprintendenza ai Beni Archeologici della Toscana 907 $a.b11854698$b02-04-14$c23-12-02 912 $a991003724549707536 945 $aLE001 AR XVII 73$g1$i2001000027552$lle001$o-$pE0.00$q-$rl$s- $t0$u0$v0$w0$x0$y.i12106999$z23-12-02 996 $aNavi antiche di Pisa ad un anno dall'inizio delle ricerche= The ancient ships of Pisa after a year of work$9899487 997 $aUNISALENTO 998 $ale001$b01-01-02$cm$da $e-$feng$git $h3$i1