人物別名 |
Xiao-Shan Gao |
生年 |
- |
没年 |
- |
タイトル |
著作者等 |
出版元 |
刊行年月 |
Mathematical software : proceedings of the First International Congress of Mathematical Software, Beijing, China, 17-19 August 2002
|
editors, Arjeh M. Cohen, Xiao-Shan Gao, Nobuki Takayama |
World Scientific
|
c2002 |
Mathematics mechanization and applications
|
edited by Xiao-Shan Gao and Dongming Wang |
Academic Press
|
c2000 |
Automated deduction in geometry : Second International Workshop, ADG '98, Beijing, China, August 1-3, 1998 : proceedings
|
Xiao-Shan Gao, Dongming Wang, Lu Yang (eds.) |
Springer
|
c1999 |
Machine proofs in geometry : automated production of readable proofs for geometry theorems
|
Shang-Ching Chou, Xiao-Shan Gao, Jing-Zhong Zhang |
World Scientific
|
c1994 |
この人物を:
|
件が連想されています
|