CartSellback ListOrder LookupSupport
ValoreBooks logo
Cancel
Showing 1 - 2 of 2 Results
1.
Efficiency of Theorem Proving Strategies A Comparative and Asymptotic Analysis
Efficiency of Theorem Proving Strategies A Comparative and Asymptotic Analysis by Plaisted, David A., Zhu, Yu... ISBN: 9783528155742 List Price: $39.95
$30.55 (Save 23%)
2.
Efficiency of Theorem Proving Strategies
Efficiency of Theorem Proving Strategies by Plaisted, David A., Zhu, Yu... ISBN: 9783663078487 List Price: $24.99

OUT OF STOCK

See Availability on Amazon