LEADER 01010nam0-2200301---450- 001 990008299710403321 005 20060321163648.0 035 $a000829971 035 $aFED01000829971 035 $a(Aleph)000829971FED01 035 $a000829971 100 $a20060321d2002----km-y0itay50------ba 101 0 $aita 102 $aIT 105 $aa-------001yy 200 1 $a<>grano il primo oro del mondo$eterra amica la storia in ... chicchi$ela storia dei senza storia attraverso le immagini$etestimonianze di un mondo scomparso$f[a cura di] Chiara Lembo$gfoto di Franco Palmieri 210 $aS.l.$cIl Museo Edizioni$d2002 215 $a16 c.$cin gran parte ill. col.$d24 cm 610 0 $aCampania$aAree Rurali 700 1$aPalmieri,$bFranco$0446952 702 1$aLembo,$bChiara 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990008299710403321 952 $aA-It 0658$bB.F.L.F. 52570$fILFGE 959 $aILFGE 996 $aGrano il primo oro del mondo$9746194 997 $aUNINA LEADER 01004nam0-2200337li-450 001 990000160610203316 005 20180312154644.0 010 $a0-471-61546-3 035 $a0016061 035 $aUSA010016061 035 $a(ALEPH)000016061USA01 035 $a0016061 100 $a20001109d1987----km-y0itay0103----ba 101 0 $aeng 102 $aUS 200 1 $aLogic for computer science$efoundations of automatic theorem proving$fJean H. Gallier 210 $aNew York [etc.]$cJohn Wiley & Sons$dcopyr. 1987 610 1 $alogica simbolica 676 $a511.3$9. 700 1$aGallier,$bJean H.$065693 801 $aSistema bibliotecario di Ateneo dell' Università di Salerno$gRICA 912 $a990000160610203316 951 $a511.3 GAL$b0004738 959 $aBK 969 $aTEC 979 $c19940606 979 $c20001110$lUSA01$h1712 979 $c20020403$lUSA01$h1623 979 $aPATRY$b90$c20040406$lUSA01$h1612 996 $aLogic for computer science$91488570 997 $aUNISA