5
1
Automated Deduction -- CADE-24: 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013, Proceedings
466Automated Deduction -- CADE-24: 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013, Proceedings
466Paperback(2013)
$54.99
54.99
In Stock
Product Details
ISBN-13: | 9783642385735 |
---|---|
Publisher: | Springer Berlin Heidelberg |
Publication date: | 04/26/2013 |
Series: | Lecture Notes in Computer Science , #7898 |
Edition description: | 2013 |
Pages: | 466 |
Product dimensions: | 6.10(w) x 9.25(h) x 0.04(d) |
From the B&N Reads Blog