Skip to contents

  1. Ferreira, Fernando [Editor]; Löwe, Benedikt [Other]; Mayordomo, Elvira [Other]; Mendes Gomes, Luís [Other] ; Conference on Computability in Europe 6 2010 Ponta Delgada

    Programs, proofs, processes : 6th Conference on Computability in Europe, CiE, 2010, Ponta Delgada, Azores, Portugal, June 30 - July 4, 2010 ; proceedings

    Books
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Berlin; Heidelberg [u.a.]: Springer, 2010

    Published in: Lecture notes in computer science ; 6158

  2. Ferreira, Fernando [Author] ; Löwe, Benedikt [Other]; Mayordomo, Elvira [Other]; Mendes Gomes, Luís [Other]

    Programs, Proofs, Processes : 6th Conference on Computability in Europe, CiE 2010, Ponta Delgada, Azores, Portugal, June 30 – July 4, 2010. Proceedings

    Books
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2010

    Published in: Lecture notes in computer science ; 6158