LEADER 01173nam--2200361---450-
001 990001755730203316
005 20040615092026.0
010   $a3-540-14031-X
035   $a000175573
035   $aUSA01000175573
035   $a(ALEPH)000175573USA01
035   $a000175573
100   $a20040615d2003----km-y0itay0103----ba
101 0 $aeng
102   $aDE
105   $aa|||||||001yy
200 1 $aTypes for proofs and programs$einternational workshop, TYPES 2002$eBerg en Dal, The Netherlans, April 24 - 28, 2002$eSelected Papers$fHerman Geuvers, Freek Wiedijk (Eds.)
210   $aBerlin [etc.]$cSpringer$dcopyr. 2003
215   $aVIII, 330 p.$cill.$d24 cm.
225 2 $aLecture notes in computer science$v2646
410  0$12001$aLecture notes in computer science$v2646
454  1$12001
461  1$1001-------$12001
702  1$aGEUVERS,$bHerman
702  1$aWIEDIJK,$bFreek
801  0$aIT$bsalbc$gISBD
912   $a990001755730203316
951   $a001 LNCS 2646$b29494/CBS$c001 LNCS$d00113877
959   $aBK
969   $aSCI
979   $aRIVELLI$b90$c20040615$lUSA01$h0920
996   $aTypes for Proofs and Programs$9771867
997   $aUNISA

LEADER 01932cam0-22003971i-450 
001 990001662770403321
005 20190409140422.0
012   $aa-e- 51I. e-o- aule (3) 1596 (A)$2fei$5IT-NA0274
035   $a000166277
035   $aFED01000166277
035   $a(Aleph)000166277FED01
035   $a000166277
100   $a20030910d1596----km-y0itay50------ba
101 0 $alat
102   $aIT
140   $aa-------aba---------a-------
141   $af----bb-$5IT-NA0274------------------------------------------------------------------
200 1 $aDe naturali vinorum historia de vinis Italiae et de conuiuijs antiquorum libri septem Andreae Baccii ... Accessit de factitiis, ac ceruisiis, deque Rheni, Galliae, Hispaniae et de totius Europae vinis et de omni vinorum usu compendiaria tractatio ...
210   $aRomae$cex officina Nicholai Mutij$d1596
215   $a[28], 370, [2] p.$c1 ill. calcogr.$d2°
307   $aSegn.: A? ?? 2?? B-3A? 3B²
307   $aFrontespizio inciso con ritratto dell'A.
307   $aTestatine, fregi e finalini xil.
316   $5IT-NA0274$aLegatura in cart. rigido marmorizzato (340x240x35 mm)
321 1 $aEDIT16,$cCNCE 3836
620   $aItalia.$dRoma
700  1$aBacci,$bAndrea$f<1524-1600>$071764
719 00$aMuzi,$gNiccolò$4650
801  0$aIT$bUNINA$gRICA$2UNIMARC
856 4 $zVisualizza la versione elettronica in SBNWeb$uhttps://books.google.it/books?id=gJ1ldrCg4voC&printsec=frontcover&hl=it&source=gbs_ge_summary_r&cad=0#v=onepage&q&f=false$e20190409
901   $aAQ
912   $a990001662770403321
952   $a60 094 A 3$b536$fFAGBC
959   $aFAGBC
996   $aDe naturali vinorum historia de vinis Italiae et de conuiuijs antiquorum libri septem Andreae Baccii ... Accessit de factitiis, ac ceruisiis, deque Rheni, Galliae, Hispaniae et de totius Europae vinis et de omni vinorum usu compendiaria tractatio ..$9373423
997   $aUNINA