Programs, Proofs, Processes 6th Conference on Computability in Europe, CiE 2010, Ponta Delgada, Azores, Portugal, June 30 <U+0013> July 4, 2010. Proceedings /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Ferreira, Fernando. (Editor), Lw̲e, Benedikt. (Editor), Mayordomo, Elvira. (Editor), Mendes Gomes, Lus̕. (Editor)
• Format: Electronic
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
• Series: Lecture Notes in Computer Science, 6158
• Subjects: Computer science.; Computer software.; Computational complexity.; Artificial intelligence.; Computer simulation.; Computer Science.; Algorithm Analysis and Problem Complexity.; Computation by Abstract Devices.; Artificial Intelligence (incl. Robotics).; Discrete Mathematics in Computer Science.; Mathematical Logic and Formal Languages.; Simulation and Modeling.
• Online Access: https://ezaccess.library.uitm.edu.my/login?url=http://dx.doi.org/10.1007/978-3-642-13962-8
• Physical Description: XIV, 450p. 37 illus. online resource.
• ISBN: 9783642139628
• ISSN: 0302-9743

This book constitutes the refereed proceedings of the 6th Conference on Computability in Europe, CiE 2010, held in Ponta Delgada, Azores, Portugal, in June/July 2010. The 28 revised papers presented together with 20 invited lectures were carefully reviewed and selected from 90 submissions. The papers address not only the more established lines of research of computational complexity and the interplay between proofs and computation, but also novel views that rely on physical and biological processes and models to find new ways of tackling computations and improving their efficiency.