Spara
Automated Deduction – CADE 28
This open access book constitutes the proceeding of the 28th International Conference on Automated Deduction, CADE 28, held virtually in July 2021.
The 29 full papers and 7 system descriptions presented together with 2 invited papers were carefully reviewed and selected from 76 submissions.
- Undertitel
- 28th International Conference on Automated Deduction, Virtual Event, July 12–15, 2021, Proceedings
- Redaktör
- André Platzer, Geoff Sutcliffe
- Upplaga
- 1st ed. 2021
- ISBN
- 9783030798758
- Språk
- Engelska
- Vikt
- 310 gram
- Utgivningsdatum
- 8.7.2021
- Sidor
- 650
