LEADER 01232nam2-2200337li-450 
001 990002979430203316
005 20180918155407.0
010   $a3-540-31428-8
035   $a000297943
035   $aUSA01000297943
035   $a(ALEPH)000297943USA01
035   $a000297943
100   $a2002007092006-------y0itay0103----ba
101 0 $aeng
102   $aDE
200 1 $aTypes for proofs and programs$eInternational workshop, TYPES 2004$eJouy-en-Josas, France, December 15-18, 2004$erevised selected papers$fJean-Christophe Filliātre... [et al.] (eds.)
210   $aBerlin [etc.]$cSpringer$dcopyr. 2006
215   $aVIII, 272 p.$cill.$d23 cm
225 2 $aLecture notes in computer science$v3839
410  0$10010020264$12001$aLecture notes in computer science$v3839
606 1 $aLogica matematica$xCongressi$yJouy-en-Josas$z2004
676   $a511.30285
702  1$aFILLIĀTRE,$bJean-Christophe
710 12$aInternational workshop TYPES 2004$f<2004 ;$fJouy-en-Josas>$0746698
912   $a990002979430203316
951   $a001 LNCS 3839$b33223/CSB$c001$d00215706
959   $aBK
969   $aSCI
979   $aSENATORE$b90$c20070928$lUSA01$h1259
996   $aTypes for proofs and programs$91490827
997   $aUNISA