01326nam--2200373---450-99000306963020331620080410121405.03-540-35466-2000306963USA01000306963(ALEPH)000306963USA0100030696320080225d2006----km-y0itay50------baengDE||||||||001yyLogical Approaches to Computational BarriersSecond Conference on Computability in Europe, CiE 2006Swansea, UK, June 30-July 5, 2006ProceedingsArnold Beckmann...[et al.] (Eds.)Berlin [etc.]Springercopyr. 2006X, 608 p.ill.24 cmLecture Notes in Computer Science39882001Lecture Notes in Computer Science3988InformaticaCongressiSwansea2006004BECKMANN,ArnoldConference on Computability in Europe, CiE 2006<2;2006Swansea;>600311ITAsalbcISBD990003069630203316001 LNCS 398833945/CBS00100217021BKSCIANGELA9020080225USA011329ANGELA9020080410USA011214Logical Approaches to Computational Barriers1022982UNISA