von David A. Plaisted
Taschenbuch
ISBN-13: 978-3-528-15574-2
ISBN-10: 3-528-15574-4
Vieweg Verlagsgesellschaft · 1999
|
|
von David A. PlaistedTaschenbuch
ISBN-13: 978-3-528-15574-2 ISBN-10: 3-528-15574-4 Vieweg Verlagsgesellschaft · 1999 |
| Siehe auch: | ||
| 1997 | Taschenbuch | The Efficiency of Theorem Proving Strategies: A Comparative and Asymptotic Analysis (Computational Intelligence) |