Tallenna
Automated Deduction – CADE 26
This book constitutes the proceeding of the 26th International Conference on Automated Deduction, CADE-26, held in Gothenburg, Sweden, in August 2017.
The 26 full papers and 5 system descriptions presented were carefully reviewed and selected from 69 submissions.
- Alaotsikko
- 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6–11, 2017, Proceedings
- Toimittaja
- Leonardo de Moura
- Painos
- 1st ed. 2017
- ISBN
- 9783319630458
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 11.7.2017
- Kustantaja
- Springer International Publishing AG
- Sivumäärä
- 582
