Books listed by ISBN
>
Springer
> Went Sun Wu
Went Sun Wu
title
ISBN-13
(ISBN-10)
year of publica-
tion
other author(s)
Mechanical Theorem Proving in Geometries: Basic Principles
978-O-387-825O6-9
(O-387-825O6-1)
1994
Xiao Fan Jin · Dong Ming Wang
S. W.
·
S. Wu
·
Sun Wu
·
W.S.
·
W.W.
·
W. Wu
Wenting Sheng