How the World Computes
Subtitle: Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012. Proceedings
By: edited by S. Barry Cooper, Anuj Dawar, Benedikt Löwe
Contributors: Dawar, Anuj; Löwe, Benedikt; SpringerLink (Online service)
Series: Lecture Notes in Computer Science -- 7318
Publisher: Springer Berlin Heidelberg
Published: 2012
Place of publication: Berlin, Heidelberg
Language: eng
Format: [electronic resource] :
ISBN-13: 9783642308703
Subjects: Computational complexity; Symbolic and mathematical Logic; Discrete Mathematics in Computer Science; Algebra; Symbolic and Algebraic Manipulation; Algorithm Analysis and Problem Complexity; Computation by Abstract Devices; Computer science; Data processing; Mathematical Logic and Foundations; Computer software