YUNSHAN ZHU
By Relevance
The Efficiency Of Theorem Proving Strategies: A Comparative And Asymptotic Analysis (Computational Intelligence)
by David A. Plaisted,Yunshan Zhu, Vieweg+Teubner Verlag
(152)
₹6301
₹7498
(16% Off)
No more products to show for your search