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