Cover Image

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

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 paper...

Full description

Bibliographic Details
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

Fulltext / Holdings URL

https://ezaccess.library.uitm.edu.my/login?url=http://dx.doi.org/10.1007/978-3-642-13962-8

Similar Items