Spar
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.
- Undertittel
- 27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019, Proceedings
- Redaktør
- Pascal Fontaine
- Opplag
- 1st ed. 2019
- ISBN
- 9783030294359
- Språk
- Engelsk
- Vekt
- 310 gram
- Utgivelsesdato
- 21.8.2019
- Antall sider
- 582
