Tallenna
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.
- Alaotsikko
- 28th International Conference on Automated Deduction, Virtual Event, July 12–15, 2021, Proceedings
- Toimittaja
- André Platzer, Geoff Sutcliffe
- Painos
- 1st ed. 2021
- ISBN
- 9783030798758
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 8.7.2021
- Kustantaja
- Springer Nature Switzerland AG
- Sivumäärä
- 650
