Mathematical Theory and Computational Practice: 5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24, 2009. Proceedings
Thomas Anberrée (auth.), Klaus Ambos-Spies, Benedikt Löwe, Wolfgang Merkle (eds.)This book constitutes the proceedings of the 5th Conference on Computability in Europe, CiE 2009, held in Heidelberg, Germany, during July 19-24, 2009.
The 34 papers presented together with 17 invited lectures were carefully reviewed and selected from 100 submissions. The aims of the conference is to advance our theoretical understanding of what can and cannot be computed, by any means of computation. It is the largest international meeting focused on computability theoretic issues.
年:
2009
出版:
1
出版社:
Springer-Verlag Berlin Heidelberg
语言:
english
页:
510
ISBN 10:
3642030726
ISBN 13:
9783642030727
系列:
Lecture Notes in Computer Science 5635 : Theoretical Computer Science and General Issues
文件:
PDF, 6.42 MB
IPFS:
,
english, 2009
因版权方投诉,本书无法下载