Automated Deduction in Geometry: Third International Workshop, Adg 2000, Zurich, Switzerland, September 25-27, 2000, Revised Papers
 
Automated Deduction in Geometry: Third International Workshop, Adg 2000, Zurich, S...
by Dongming Wang, INTERNATIONAL WORKSHOP ON AUTOMATED DEDU
No user ratings [rate this item]
$21.69
Go to Store
Elimination Practice: Software Tools and Applications
 
Elimination Practice: Software Tools and Applications
by Dongming Wang
No user ratings [rate this item]
$63.00
Go to Store
Mechanical Theorem Proving in Geometries: Basic Principles
 
Mechanical Theorem Proving in Geometries: Basic Principles
by Dongming Wang, Went Sun Wu, Xiao Fan Jin
No user ratings
$77 to $112
Compare Prices
at 3 Sellers
Automated Deduction in Geometry: 2nd International Workshop, Adg'98, Beijing, China, August 1-3, 1998, Pr Oceedings
 
Automated Deduction in Geometry: 2nd International Workshop, Adg'98, Beijing, Chin...
by Dongming Wang, Xiao-Shan Gao, Lu Yang, International Workshop on Automated Deduction in Geometry 1998 Beijin
No user ratings [rate this item]
$48.21
Go to Store
Automated Deduction in Geometry: International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996 Selected Papers
 
Automated Deduction in Geometry: International Workshop on Automated Deduction in ...
by Dongming Wang, International Workshop on Automated Deduction in Geometry (1996 Toulo
No user ratings [rate this item]
$19.44
Go to Store