Skip to main content

License single eBooks

Your results

More search possibilities.

Search and filter

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

  • eBook: Automated Reasoning
    978-3-319-94205-6
    2018, Edition 1
    Subjects: Formal Languages and Automata Theory
    9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings
    Didier Galmiche; Stephan Schulz; Roberto Sebastiani

    €100