Ferreira, Fernando.
Programs, Proofs, Processes 6th Conference on Computability in Europe, CiE 2010, Ponta Delgada, Azores, Portugal, June 30 – July 4, 2010. Proceedings / [electronic resource] : edited by Fernando Ferreira, Benedikt Löwe, Elvira Mayordomo, Luís Mendes Gomes. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2010. - digital. - Lecture Notes in Computer Science, 6158 0302-9743 ; . - Lecture Notes in Computer Science, 6158 .
9783642139628
10.1007/978-3-642-13962-8 doi
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.
QA76.9.A43
005.1
Programs, Proofs, Processes 6th Conference on Computability in Europe, CiE 2010, Ponta Delgada, Azores, Portugal, June 30 – July 4, 2010. Proceedings / [electronic resource] : edited by Fernando Ferreira, Benedikt Löwe, Elvira Mayordomo, Luís Mendes Gomes. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2010. - digital. - Lecture Notes in Computer Science, 6158 0302-9743 ; . - Lecture Notes in Computer Science, 6158 .
9783642139628
10.1007/978-3-642-13962-8 doi
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.
QA76.9.A43
005.1