Spara
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.
- Undertitel
- 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings
- Redaktör
- Amy P. Felty, Aart Middeldorp
- Upplaga
- 1st ed. 2015
- ISBN
- 9783319214009
- Språk
- Engelska
- Vikt
- 310 gram
- Utgivningsdatum
- 2015-07-30
- Sidor
- 640
