Tallenna
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.
- Alaotsikko
- 27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019, Proceedings
- Toimittaja
- Pascal Fontaine
- Painos
- 1st ed. 2019
- ISBN
- 9783030294359
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 21.8.2019
- Kustantaja
- Springer Nature Switzerland AG
- Sivumäärä
- 582
