- Ａ＝Ｂ
-
等式証明とコンピュータ
ＡＫピータース・トッパン数理科学シリーズ ７
Ａ＝Ｂ．- 価格
- 4,180円（本体3,800円＋税）
- 発行年月
- 1997年09月
- 判型
- Ｂ５
- ISBN
- 9784810189728
|
ゲスト さん （ログイン） |
|
|
ゲスト さん （ログイン） |
|
オンライン書店【ホンヤクラブ】はお好きな本屋での受け取りで送料無料！新刊予約・通販も。本（書籍）、雑誌、漫画（コミック）など在庫も充実
等式証明とコンピュータ
ＡＫピータース・トッパン数理科学シリーズ ７
Ａ＝Ｂ．
本好きのためのオンライン書店
Honya Club.comは日本出版販売株式会社が運営している
インターネット書店です。ご利用ガイドはこちら
 |
 |
価格：1,019円（本体926円＋税）
【2018年10月発売】
価格：825円（本体750円＋税）
【2025年02月発売】
価格：662円（本体602円＋税）
【2016年09月発売】
のマークが目印です。
HonyaClub会員規約個人情報の取扱いに関する規程
[BOOKデータベースより]
第１部 背景（証明機械；目的を絞って；超幾何データベース）
第２部 ５種類の基本アルゴリズム（Ｓｉｓｔｅｒ Ｃｅｌｉｎｅ法；Ｇｏｓｐｅｒのアルゴリズム；Ｚｅｉｌｂｅｒｇｅｒのアルゴリズム；ＷＺ現象；アルゴリズムＨｙｐｅｒ）
第３部 エピローグ（作用素代数の観点）