Spar
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.
- Undertittel
- 28th International Conference on Automated Deduction, Virtual Event, July 12–15, 2021, Proceedings
- Redaktør
- André Platzer, Geoff Sutcliffe
- Opplag
- 1st ed. 2021
- ISBN
- 9783030798758
- Språk
- Engelsk
- Vekt
- 310 gram
- Utgivelsesdato
- 8.7.2021
- Antall sider
- 650
