今話題の本
図書館マップ
本のレシピ
読みたいリスト
もっと見る
▼
読みたいリスト
書評
カーリルローカル
カーリルタッチ
図書館スタンプラリー
ログイン・新規登録
設定
▼
お気に入り図書館
高度な検索設定
ログイン
ログイン
図書館の設定
今話題の本
図書館マップ
本のレシピ
読みたいリスト
書評
ローカル
スタンプラリー
さがす
お気に入り図書館を設定すると、貸出状況が表示されます
エリアを選ぶ
現在地から探す
Mathematical Software: Proceedings of the First International Congress of Mathematical Software Beijing, China 17-19 August 2002
Cohen, Arjeh M.／Takayama, Nobuki／International Congress of Mathematical S／Gao, Xiao-Shan／Gao, Xiaoshan
Automated Deduction in Geometry: Second International Workshop, ADG'98, Beijing, China, August 1-3, 1998, Proceedings (Lecture Notes in Computer Science, 1669)
Yang, Lu／Wang, Dongming／Gao, Xiao-Shan
Mathematics Mechanization and Applications
Wang, Dongming／Gao, Xiao-Shan
Wu Wenjun Yu Zhong Guo Shu Xue
Jiang, Bo Ju／Li, Bang He／Gao, Xiao Shan
Computer mathematics : proceedings of fourth Asian Symposium (ASCM 2000), Chiang Mai, Thailand, 17-21 December 2000
edited by Xiao-Shan Gao, Dongming Wang
Machine proofs in geometry : automated production of readable proofs for geometry theorems
Shang-Ching Chou, Xiao-Shan Gao, Jing-Zhong Zhang
《戡定新疆記》箋注
(清)魏光燾編 ; 杜宏春, 高彬彬箋注
Continuous combinatorics of Abelian group actions
Su Gao [and three others]
上海
高潔・編
ふしぎなはごろも
蔡皋作・絵 ; 石田稔訳
1
2
3
4
5
Automated Deduction in Geometry: Second International Workshop, ADG'98, Beijing, China, August 1-3, 1998, Proceedings (Lecture Notes in Computer Science, 1669)
