Books listed by ISBN
>
Springer
> Dong Ming Wang
Dong Ming Wang
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
Went Sun Wu · Xiao Fan Jin
D. M.
·
D.W.
·
D. Wang
·
Dong Wang
·
M W
·
M. Wang
·
Ming Wang
Dongge Ma