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-031-10769-6
    2022, Edition 1
    Subjects: Formal Languages and Automata Theory
    11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022, Proceedings
    Jasmin Blanchette; Laura Kovács; Dirk Pattinson
    Open Access.