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: Automated Reasoning
    978-3-319-08587-6
    2014, Edition 1
    Subjects: Formal Languages and Automata Theory
    7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, Vienna, Austria, July 19-22, 2014, Proceedings
    Stéphane Demri; Deepak Kapur; Christoph Weidenbach

    €100