Cooperation in Heterogeneous Theorem Prover Networks
1004781953
Cooperation in Heterogeneous Theorem Prover Networks
36.0 In Stock
Cooperation in Heterogeneous Theorem Prover Networks

Cooperation in Heterogeneous Theorem Prover Networks

Cooperation in Heterogeneous Theorem Prover Networks

Cooperation in Heterogeneous Theorem Prover Networks

Hardcover

$36.00 
  • SHIP THIS ITEM
    In stock. Ships in 1-2 days.
  • PICK UP IN STORE

    Your local store may have stock of this item.

Related collections and offers

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

Customer Reviews