by: Jochen Pfalzgraf · Dongming Wang
Paperback
ISBN: 978-0-387-82600-4
ISBN-10: 0-387-82600-9
Springer Verlag · 1995
|
|
by: Jochen Pfalzgraf · Dongming WangPaperback
ISBN: 978-0-387-82600-4 ISBN-10: 0-387-82600-9 Springer Verlag · 1995 |
| See also: | ||
| 1995 | Taschenbuch | Automated Practical Reasoning: Algebraic Approaches (Texts & Monographs in Symbolic Computation) |