von: Jochen Pfalzgraf · Dongming Wang · J. Cunningham
Taschenbuch
Details (Österreich/Deutschland/Schweiz)
ISBN: 978-3-211-82600-3
ISBN-10: 3-211-82600-9
Springer · 1995
|
|
von: Jochen Pfalzgraf · Dongming Wang · J. CunninghamTaschenbuch Details (Österreich/Deutschland/Schweiz)
ISBN: 978-3-211-82600-3 ISBN-10: 3-211-82600-9 Springer · 1995 |
| Siehe auch: | ||
| 1995 | Paperback | Automated Practical Reasoning: Algebraic Approaches (Texts and Monographs in Symbolic Computation) |