Skip to main content

License single eBooks

Your results

Search and filter

Showing 1 - 1 Download list (.CSV)
Ordered by relevance
0 eBooks €0

  • eBook: Interactive Theorem Proving
    978-3-319-66107-0
    2017, Edition 1
    Subjects: Formal Languages and Automata Theory
    8th International Conference, ITP 2017, Brasília, Brazil, September 26–29, 2017, Proceedings
    Mauricio Ayala-Rincón; César A. Muñoz

    €100