Spara
Automated Deduction – CADE 27
This book constitutes the proceeding of the 27th International Conference on Automated Deduction, CADE 27, held in Natal, Brazil, in August 2019.
The 27 full papers and 7 system descriptions presented were carefully reviewed and selected from 65 submissions.
- Undertitel
- 27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019, Proceedings
- Redaktör
- Pascal Fontaine
- Upplaga
- 1st ed. 2019
- ISBN
- 9783030294359
- Språk
- Engelska
- Vikt
- 310 gram
- Utgivningsdatum
- 2019-08-21
- Sidor
- 582
