Books by David A. Plaisted
No products found matching the selection.
-20%
The Efficiency of Theorem Proving Strategies: A Comparative and Asymptotic Analysis
David A. Plaisted, Yunshan Zhu
€65.98
€82.48
-20% with code BOOKS
In stock at our supplier