Logical approaches to computational barriers: second conference on computability in europe, cie 2006, swansea, uk, june 30-july 5, 2006, proceedings
Auteur :
Beckmann, Arnold
ISBN :
9783540354666
Date de publication :
26 juin 2006
Dimensions :
23,4 x 15,6 x 3,2 cm
Poids :
873 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne
Constitutes the refereed proceedings of the Second International Conference on Computability in Europe, CiE 2006, held in Swansea, UK, June/July 2006. This book covers proofs and computation, computable analysis, challenges in complexity, foundations of programming, and mathematical models of computers and hypercomputers.