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