Logical Approaches to Computational Barriers
Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006, Proceedings
Theoretical Computer Science and General Issues
Beckmann, Arnold (EDT)
Berger, Ulrich (EDT)
Lwe, Benedikt (EDT)
- 出版社：Springer-Verlag New York Inc
- 出版年月：2006年 07月
- ISBN：9783540354666
- 装丁：PAP
-
装丁について
- 言語：ENG
- 巻数・ページ数：608 p.
- 分類： コンピュータ一般
- DDC分類：511.352
- 内容紹介：
-
Topics: proofs and computation, computable analysis, challenges in complexity, foundations of programming, mathematical models of computers and hypercomputers, and more.