by: Went Sun Wu · Xiao Fan Jin · Dong Ming Wang
Paperback
ISBN: 978-0-387-82506-9
ISBN-10: 0-387-82506-1
Springer Verlag · 1994
|
|
by: Went Sun Wu · Xiao Fan Jin · Dong Ming WangPaperback
ISBN: 978-0-387-82506-9 ISBN-10: 0-387-82506-1 Springer Verlag · 1994 |
| See also (possibly by other authors): | ||
| 1994 | Taschenbuch | Mechanical Theorem Proving in Geometries: Basic Principles (Texts & Monographs In Symbolic Computation) (Texts & Monographs in Symbolic Computation) |