Xuefeng Chen
Original record- Institution
- Academy of Mathematics and Systems Science, Chinese Academy of Sciences
- Year
- 2005
- Country
- China
- MGP identifier
- 338110
Dissertation: Computation of Quasi Varieties and Its Applications on Geometric Theorem Proving
Advisor 1
- Wen-Tsün WuInstitution not recorded
Students 0
No students recorded in this snapshot.