LEADER 00898nam0-22002891i-450-
001 990000476650403321
005 20080312125803.0
035   $a000047665
035   $aFED01000047665
035   $a(Aleph)000047665FED01
035   $a000047665
100   $a20020821d1881----km-y0itay50------ba
101 0 $ager
105   $aa-------001yy
200 1 $aPhysikalische demonstrationen$eanleitung zum experimentiren im unterricht an gymnasien, realschulen und gewerbschulen$fAdolf F. Weinhold
210   $aLeipzig$cQuandt & handel$d1881
215   $a677 p.$cill.$d24 cm
610 0 $aFisica$aEsperimenti
676   $a530.72
700  1$aWeinhold,$bAdolf Ferdinand$f<1841-1917>$07195
801  0$aIT$bUNINA$gRICA$2UNIMARC
901   $aBK
912   $a990000476650403321
952   $a10 B I 22$b495$fDINEL
959   $aDINEL
996   $aPhysikalische demonstrationen$9332076
997   $aUNINA

LEADER 01230nam2-2200337li-450-
001 990002957420203316
005 20070712120015.0
010   $a3-540-22164-6
035   $a000295742
035   $aUSA01000295742
035   $a(ALEPH)000295742USA01
035   $a000295742
100   $a2002007071292004----y0itay0103----ba
101 0 $aeng
102   $aDE
200 1 $aTypes for proofs and programs$eInternational workshop, TYPES 2003$eTorino, Italy, April/May 2003$eselected papers$fStefano Berardi ... [et al.] (eds.)
210   $aBerlin [etc.]$cSpringer-Verlag$dcopyr. 2004
215   $aX, 408 p.$cill.$d23 cm
225 2 $aLecture notes in computer science$v3085
410  0$10010020264$12001$aLecture notes in computer science$v3085
606 1 $aLogica matematica$xCongressi$yTorino$z2003
676   $a511.30285$9elaborazione dei dati applicazione dell'elaborat.
702  1$aBERARDI,$bStefano
710 12$aInternational workshop TYPES 2003$f<2003 ;$fTorino>$0753396
912   $a990002957420203316
951   $a001 LNCS 3085$b31161/CSB$c001$d00215023
959   $aBK
969   $aSCI
979   $aSENATORE$b90$c20070712$lUSA01$h1200
996   $aTypes for proofs and programs$91515538
997   $aUNISA