Programs, Proofs, Processes [electronic resource] : 6th Conference on Computability in Europe, CiE 2010, Ponta Delgada, Azores, Portugal, June 30 – July 4, 2010. Proceedings / edited by Fernando Ferreira, Benedikt Löwe, Elvira Mayordomo, Luís Mendes Gomes.
By: Ferreira, Fernando.
Contributor(s): Löwe, Benedikt | Mayordomo, Elvira | Mendes Gomes, Luís | SpringerLink (Online service).
Material type:
BookSeries: Lecture Notes in Computer Science, 6158.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Description: digital.ISBN: 9783642139628.Subject(s): 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 ModelingDDC classification: 005.1 Online resources: Click here to access online
In:
Springer eBooks
No physical items for this record
There are no comments for this item.