Xiao-Shan Gao
2 published titles
Automated deduction in geometry : Second International Workshop, ADG '98, Beijing, China, August 1-3, 1998 : proceedings
(Contributor)
1 edition
- ISBN: 3540666729
- Springer
- 1999
- Details
Mathematics mechanization and applications
(Contributor)
1 edition
- ISBN: 0127347607
- Academic
- 2000
- Details
