von: David A. Plaisted · Yunshan Zhu
Taschenbuch
ISBN: 978-3-528-05574-5
ISBN-10: 3-528-05574-X
Vieweg+Teubner Verlag · 1997
|
|
von: David A. Plaisted · Yunshan ZhuTaschenbuch
ISBN: 978-3-528-05574-5 ISBN-10: 3-528-05574-X Vieweg+Teubner Verlag · 1997 |
| S. auch: | ||
| 1999 | Taschenbuch | The Efficiency of Theorem Proving Strategies: A Comparative and Asymptotic Analysis (Computational Intelligence) |