Cooperation in Heterogeneous Theorem Prover Networks
1004781953
Cooperation in Heterogeneous Theorem Prover Networks
36.0
In Stock
5
1
Cooperation in Heterogeneous Theorem Prover Networks
262
Cooperation in Heterogeneous Theorem Prover Networks
262Hardcover
$36.00
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