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