LEADER 01326nam--2200373---450-
001 990003069630203316
005 20080410121405.0
010   $a3-540-35466-2
035   $a000306963
035   $aUSA01000306963
035   $a(ALEPH)000306963USA01
035   $a000306963
100   $a20080225d2006----km-y0itay50------ba
101   $aeng
102   $aDE
105   $a||||||||001yy
200 1 $aLogical Approaches to Computational Barriers$eSecond Conference on Computability in Europe, CiE 2006$eSwansea, UK, June 30-July 5, 2006$eProceedings$fArnold Beckmann...[et al.] (Eds.)
210   $aBerlin [etc.]$cSpringer$dcopyr. 2006
215   $aX, 608 p.$cill.$d24 cm
225 2 $aLecture Notes in Computer Science$v3988
410  0$12001$aLecture Notes in Computer Science$v3988
606 0 $aInformatica$xCongressi$ySwansea$z2006
676   $a004
702  1$aBECKMANN,$bArnold
710 02$aConference on Computability in Europe, CiE 2006$d<2;$f2006$eSwansea;>$0600311
801  0$aITA$bsalbc$gISBD
912   $a990003069630203316
951   $a001 LNCS 3988$b33945/CBS$c001$d00217021
959   $aBK
969   $aSCI
979   $aANGELA$b90$c20080225$lUSA01$h1329
979   $aANGELA$b90$c20080410$lUSA01$h1214
996   $aLogical Approaches to Computational Barriers$91022982
997   $aUNISA