5
1
9783540405597
Automated Deduction - CADE-19: 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings / Edition 1 available in Paperback
Automated Deduction - CADE-19: 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings / Edition 1
- ISBN-10:
- 3540405593
- ISBN-13:
- 9783540405597
- Pub. Date:
- 09/10/2003
- Publisher:
- Springer Berlin Heidelberg
- ISBN-10:
- 3540405593
- ISBN-13:
- 9783540405597
- Pub. Date:
- 09/10/2003
- Publisher:
- Springer Berlin Heidelberg
54.99
In Stock
Product Details
ISBN-13: | 9783540405597 |
---|---|
Publisher: | Springer Berlin Heidelberg |
Publication date: | 09/10/2003 |
Series: | Lecture Notes in Computer Science , #2741 |
Edition description: | 2003 |
Pages: | 512 |
Product dimensions: | 6.10(w) x 9.25(h) x 0.36(d) |
From the B&N Reads Blog