Programs, proofs, processes  6th Conference on Computability in Europe, CiE 2010, Ponta Delgada, Azores, Portugal, June 30-July 4, 2010 : proceedings /  [electronic resource] : 
 CiE 2010 
edited by Fernando Ferreira ... [et al.]. 
 - Berlin, Heidelberg :  Springer-Verlag Berlin Heidelberg,  2010. 
 - xvi, 450 p. :  ill., digital ;  24 cm. 
 - Lecture notes in computer science,  6158  0302-9743 ; .
<br/><br/><label>ISBN: </label>9783642139628 (electronic bk.) 9783642139611 (paper) 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computable functions--Congresses.<br/>Computation by Abstract Devices.<br/>Mathematical Logic and Formal Languages.<br/>Simulation and Modeling.<br/>Discrete Mathematics in Computer Science.<br/>Artificial Intelligence (incl. Robotics)<br/>Algorithm Analysis and Problem Complexity.<br/>Computer Science.
<br/><br/><label>LC Class. No.: </label>QA9.59  / .C66 2010 
<br/><br/><label>Dewey Class. No.: </label>511.352