Programs, Proofs, Processes 6th Conference on Computability in Europe, CiE 2010, Ponta Delgada, Azores, Portugal, June 30 β July 4, 2010. Proceedings

Bibliographic Details
Main Author:	Ferreira, Fernando
Corporate Author:	SpringerLink (Online service)
Other Authors:	LΓΆwe, Benedikt, Mayordomo, Elvira, Mendes Gomes, LuΓs
Format:	Electronic Kit Book
Language:	English
Published:	Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010
Series:	Lecture Notes in Computer Science 6158
Subjects:	Computer science Computer software Computational complexity 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:	http://dx.doi.org/10.1007/978-3-642-13962-8

Programs, Proofs, Processes 6th Conference on Computability in Europe, CiE 2010, Ponta Delgada, Azores, Portugal, June 30 β July 4, 2010. Proceedings