8913047
9783528055745
Out of Stock
The item you're looking for is currently unavailable.
Plaisted, David A. is the author of 'The Efficiency of Theorem Proving Strategies: A Comparative and Asymptotic Analysis (Computational Intelligence)' with ISBN 9783528055745 and ISBN 352805574X.
[read more]