今話題の本
図書館マップ
本のレシピ
読みたいリスト
もっと見る
▼
読みたいリスト
書評
カーリルローカル
カーリルタッチ
図書館スタンプラリー
ログイン・新規登録
設定
▼
お気に入り図書館
高度な検索設定
ログイン
ログイン
図書館の設定
今話題の本
図書館マップ
本のレシピ
読みたいリスト
書評
ローカル
スタンプラリー
さがす
お気に入り図書館を設定すると、貸出状況が表示されます
エリアを選ぶ
現在地から探す
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
Machine proofs in geometry : automated production of readable proofs for geometry theorems
Shang-Ching Chou, Xiao-Shan Gao, Jing-Zhong Zhang
Automated Deduction in Geometry: Second International Workshop, ADG'98, Beijing, China, August 1-3, 1998, Proceedings (Lecture Notes in Computer Science, 1669)
