5
1
Automated Deduction -- CADE-23: 23rd International Conference on Automated Deduction, Wroclaw, Poland, July 31 -- August 5, 2011, Proceedings
508Automated Deduction -- CADE-23: 23rd International Conference on Automated Deduction, Wroclaw, Poland, July 31 -- August 5, 2011, Proceedings
508Paperback(2011)
$54.99
54.99
In Stock
Product Details
ISBN-13: | 9783642224379 |
---|---|
Publisher: | Springer Berlin Heidelberg |
Publication date: | 09/28/2011 |
Series: | Lecture Notes in Computer Science , #6803 |
Edition description: | 2011 |
Pages: | 508 |
Product dimensions: | 6.10(w) x 9.25(h) x 0.04(d) |
From the B&N Reads Blog