Programs, proofs, processes 6th Conference on Computability in Europe, CiE 2010, Ponta Delgada, Azores, Portugal, June 30-July 4, 2010 : proceedings - Conference on Computability in Europe 2010 : Ponta Delgada, Azores); Ferreira, Fernando; SpringerLink (Online service) (Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010)
Keywords: Computable functions -- Congresses; Computation by Abstract Devices; Mathematical Logic and Formal Languages; Simulation and Modeling; Discrete Mathematics in Computer Science; Artificial Intelligence (incl. Robotics); Algorithm Analysis and Problem Complexity; Computer Science