Programs, Proofs, Processes [E-Book] : 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.
Ferreira, Fernando
Löwe, Benedikt / Mayordomo, Elvira / Mendes Gomes, Luís
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
online resource
englisch
9783642139628
Lecture notes in computer science ; 6158
Full Text
Description not available.