The Efficiency of Theorem Proving Strategies: A Comparative and Asymptotic Analysis
- Author
- David A. Plaisted, Yunshan Zhu (auth.)
- Publisher
- Vieweg+Teubner Verlag
- Language
- German
- Year
- 1997
- Page
- VI, 167S.
- ISBN
- 978-3-528-05574-5,978-3-322-93862-6
- File Type
- pdf
- File Size
- 3.8 MiB
How to Download?!!!
Just click on START button on Telegram Bot