Logical Approaches to Computational Barriers
Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006, Proceedings
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 Gödel centenary: Gödel's legacy for computability.
CHF 140.00
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
Versandkostenfrei
Produktdetails
Weitere Autoren: Berger, Ulrich (Hrsg.) / Löwe, Benedikt (Hrsg.) / Tucker, John V. (Hrsg.)
- ISBN: 978-3-540-35468-0
- EAN: 9783540354680
- Produktnummer: 33302148
- Verlag: Springer-Verlag GmbH
- Sprache: Englisch
- Erscheinungsjahr: 2006
- Seitenangabe: 608 S.
- Plattform: PDF
- Masse: 7'131 KB
- Auflage: 2006
- Abbildungen: Bibliographie
10 weitere Werke von Arnold (Hrsg.) Beckmann:
Bewertungen
Anmelden