Skip to main content

License single eBooks

Your results

Search and filter

Showing 1 - 1 Download list (.CSV)
Ordered by relevance
0 eBooks €0
View basket
  • eBook: Automated Deduction – CADE 29
    978-3-031-38499-8
    2023, Edition 1
    Subjects: Artificial Intelligence

    Automated Deduction – CADE 29

    29th International Conference on Automated Deduction, Rome, Italy, July 1–4, 2023, Proceedings
    Brigitte Pientka; Cesare Tinelli
    Open Access.