Cooperation in Heterogeneous Theorem Prover Networks

Name: Cooperation in Heterogeneous Theorem Prover Networks
Brand: IOS Press, Incorporated
SKU: 9781586031244
Price: 36.00 USD
Availability: InStock

$36.00 USD

Sale Sold out