Cooperation in Heterogeneous Theorem Prover Networks

Cooperation in Heterogeneous Theorem Prover Networks

By (author) 

List price: US$36.01

Currently unavailable

Add to wishlist

AbeBooks may have this title (opens in new window).

Try AbeBooks

Product details

  • Paperback | 262 pages
  • 147.3 x 208.3 x 17.8mm | 340.2g
  • Ios Pr Inc
  • English
  • 1586031244
  • 9781586031244