Automated Deduction -- CADE-24
Subtitle: 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013, Proceedings
Publisher: Springer
Published: Apr 30, 2013
Format: paperback
Number of pages: 484
ISBN-13: 9783642385759
Notes: Source title: Automated Deduction -- CADE-24: 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013, Proceedings