Tallenna
Automated Deduction - CADE-25
This book constitutes the proceedings of the 25th International Conference on Automated Deduction, CADE-25, held in Berlin, Germany, in August 2015.
The 36 revised full papers presented ( 24 full papers and 12 system descriptions) were carefully reviewed and selected from 85 submissions.
- Alaotsikko
- 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings
- Toimittaja
- Amy P. Felty, Aart Middeldorp
- Painos
- 1st ed. 2015
- ISBN
- 9783319214009
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 30.7.2015
- Kustantaja
- Springer International Publishing AG
- Sivumäärä
- 640
