Programs, Proofs, Processes
Ferreira, Fernando.
Programs, Proofs, Processes 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. - On-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of Pakistan
9783642139628
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.
Programs, Proofs, Processes 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. - On-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of Pakistan
9783642139628
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.