The Efficiency of Theorem Proving Strategies: A Comparative and Asymptotic Analysis by David A. Plaisted, Yunshan Zhu (Paperback, 1999)

Brand new: lowest price

AU $96.74

Free postage
  • See details for delivery est.
  • Brand new condition
  • • Returns accepted