5
1
9780387960227
7th International Conference on Automated Deduction: Proceedings / Edition 1 available in Paperback
7th International Conference on Automated Deduction: Proceedings / Edition 1
- ISBN-10:
- 0387960228
- ISBN-13:
- 9780387960227
- Pub. Date:
- 05/18/1984
- Publisher:
- Springer New York
- ISBN-10:
- 0387960228
- ISBN-13:
- 9780387960227
- Pub. Date:
- 05/18/1984
- Publisher:
- Springer New York
109.99
In Stock
Product Details
ISBN-13: | 9780387960227 |
---|---|
Publisher: | Springer New York |
Publication date: | 05/18/1984 |
Series: | Lecture Notes in Computer Science , #170 |
Edition description: | 1984 |
Pages: | 512 |
Product dimensions: | 6.10(w) x 9.25(h) x 0.04(d) |
From the B&N Reads Blog