von Wen-Ts\Xfcn Wu
Taschenbuch
Details (Österreich/Schweiz/Deutschland)
EAN=ISBN-13: 978-3-211-82506-8
ISBN-10: 3-211-82506-1
Springer · 1994
|
|
von Wen-Ts\Xfcn WuTaschenbuch Details (Österreich/Schweiz/Deutschland)
EAN=ISBN-13: 978-3-211-82506-8 ISBN-10: 3-211-82506-1 Springer · 1994 |
| Siehe auch (möglicherweise von anderen Autoren): | ||
| 1994 | Paperback | Mechanical Theorem Proving in Geometries: Basic Principles (Texts and Monographs in Symbolic Computation) |