Free shipping on orders over $99
Logical Approaches to Computational Barriers

Logical Approaches to Computational Barriers

Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006, Proceedings

by Arnold BeckmannUlrich Berger Benedikt Loewe and others
Paperback
Publication Date: 26/06/2006

Share This Book:

 
$226.95
This book constitutes the refereed proceedings of the Second International Conference on Computability in Europe, CiE 2006, held in Swansea, UK, June/July 2006. The book presents 31 revised full papers together with 30 invited papers, including papers corresponding to 8 plenary talks and 6 special sessions on proofs and computation, computable analysis, challenges in complexity, foundations of programming, mathematical models of computers and hypercomputers, and Goedel centenary: Goedel's legacy for computability.
ISBN:
9783540354666
9783540354666
Category:
Mathematical theory of computation
Format:
Paperback
Publication Date:
26-06-2006
Language:
English
Publisher:
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Country of origin:
Germany
Pages:
608
Dimensions (mm):
235x155x32mm
Weight:
1.93kg

Click 'Notify Me' to get an email alert when this item becomes available

Reviews

Be the first to review Logical Approaches to Computational Barriers.