Gao, Xiao-Shan

この人物の情報

人物別名 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
この人物の作品が掲載されている本を検索
この人物を: 
このエントリーをはてなブックマークに追加

このページを印刷

外部サイトで検索

この人物と繋がる本を検索

ウィキペディアから連想