LEADER 01157nam2-2200349---450-
001 990003327820203316
005 20091007125834.0
010   $a978-3-642-02443-6
035   $a000332782
035   $aUSA01000332782
035   $a(ALEPH)000332782USA01
035   $a000332782
100   $a20091007d2009----km-y0itay50------ba
101   $aeng
102   $aDE
105   $ay---||||001yy
200 1 $aTypes for proofs and programs$eInternational conference, TYPES 2008$eTorino, Italy, march 26-29, 2008$erevised selected papers$fStefano Berardi...[et al.] (Eds.)
210   $aBerlin [etc.]$cSpringer$dcopyr. 2009
215   $aVIII, 322 p.$d24 cm
225 2 $aLecture notes in computer science$v5497
410  1$1001000314960$12001$aLecture notes in computer science$v5497
606 0 $aInformatica$xCongressi$yTorino$z2008
676   $a004
702  1$aBERARDI,$bStefano
801  0$aIT$bsalbc$gISBD
912   $a990003327820203316
951   $a001 LNCS 5497$b38513/CBS$c001$d00335012
959   $aBK
969   $aSCI
979   $aRSIAV7$b90$c20091007$lUSA01$h1258
996   $aTypes for Proofs and Programs$9771867
997   $aUNISA