5
1
9781586031244
Cooperation in Heterogeneous Theorem Prover Networks / Edition 1 available in Hardcover
Cooperation in Heterogeneous Theorem Prover Networks / Edition 1
- ISBN-10:
- 1586031244
- ISBN-13:
- 9781586031244
- Pub. Date:
- 01/01/2000
- Publisher:
- IOS Press, Incorporated
36.0
In Stock
Product Details
| ISBN-13: | 9781586031244 |
|---|---|
| Publisher: | IOS Press, Incorporated |
| Publication date: | 01/01/2000 |
| Pages: | 262 |
| Product dimensions: | 5.70(w) x 8.20(h) x 0.50(d) |
| Age Range: | 17 Years |
From the B&N Reads Blog