Spar
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.
- Undertittel
- 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings
- Redaktør
- Amy P. Felty, Aart Middeldorp
- Opplag
- 1st ed. 2015
- ISBN
- 9783319214009
- Språk
- Engelsk
- Vekt
- 310 gram
- Utgivelsesdato
- 30.7.2015
- Antall sider
- 640
