Bücher nach ISBN
Yunshan Zhu
Vieweg
Titel
ISBN-13
(ISBN-10)
Erschei-
nungsjahr
andere Autoren
The Efficiency of Theorem Proving Strategies: A Comparative and Asymptotic Analysis
978-3-528-15574-2
(3-528-15574-4)
2000
David A. Plaisted
Y. Zhu
·
Yongming Zhou
·
Yongxin Zhao
Yushu Zhang