978-3-030-79876-5.pdf
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. CADE is...
| Language: | English |
|---|---|
| Published: |
Springer Nature
2021
|
| Online Access: | https://www.springer.com/9783030798765 |
