LEADER 01415nam--2200397---450-
001 990003081540203316
005 20080424132152.0
010   $a3-540-73000-1
035   $a000308154
035   $aUSA01000308154
035   $a(ALEPH)000308154USA01
035   $a000308154
100   $a20080317d2007----km-y0itay50------ba
101   $aeng
102   $aDE
105   $ay---||||001yy
200 1 $aComputation and logic in the real world$eThird conference on computability in Europe, CiE 2007$eSiena, Italy, June 18-23, 2007$eproceedings$fS. Barry Cooper, Benedikt Lowe, Andrea Sorbi (Eds.)
210   $aBerlin [etc.]$cSpringer$dcopyr. 2007
215   $aXVIII, 826 p.$d24 cm
225 2 $aLecture notes in computer science$v4497
410  0$12001$aLecture notes in computer science$v4497
606 0 $aPrincipi matematici <informatica>$xCongressi$ySiena$z2007
676   $a004.0151
702  1$aCOOPER,$bS. Barry
702  1$aLOWE,$bBenedikt
702  1$aSORBI,$bAndrea
710 12$aConference on Computability in Europe, CiE 2007$d<3.;$f2007;$eSiena>$0600756
801  0$aITA$bsalbc$gISBD
912   $a990003081540203316
951   $a001 LNCS 4497$b35114/CBS$c001$d00224745
959   $aBK
969   $aSCI
979   $aANGELA$b90$c20080317$lUSA01$h1003
979   $aANGELA$b90$c20080424$lUSA01$h1321
996   $aComputation and logic in the real world$91023612
997   $aUNISA