David A. Plaisted
Popular items by David A. Plaisted
View all offers-
The Efficiency of Theorem Proving Strategies: A Comparative and Asymptotic Analysis
Plaisted, David A.; Zhu, Yunshan
Item prices starting from
View 26 offersUS$ 7.03
