Skip to main content

License single eBooks

Your results

Search and filter

Showing 1 - 1 of 1
0 eBooks €0

  • 28th International Conference on Automated Deduction, Virtual Event, July 12–15, 2021, Proceedings
    André Platzer; Geoff Sutcliffe
    978-3-030-79876-5
    2021
    Edition 1
    • This book is open access, which means that you have free and unlimited access

    Open Access

Is this helpful?

Survey

Survey to collect feedback on the helpfulness of this page.

Survey

Survey to collect feedback on the helpfulness of this page.