資料詳細

  • 1 件中、 1 件目

Ａ＝Ｂ 利用可

マーコ・ペトコブセク／〔ほか〕著 -- トッパン -- 199709 -- 0071

所蔵は 1 件です。現在の予約件数は 0 件です。

所蔵館 所蔵場所 請求記号 資料コード 資料区分 帯出区分 状態
鳥取県立 書庫 007.1/ﾍﾄｺ/一般Ｈ 113340833 一般 利用可

ページの先頭へ

資料詳細

タイトル Ａ＝Ｂ
書名ヨミ エイ　イコ－ル　ビ－
副書名 等式証明とコンピュータ
シリーズ名 ＡＫピータース・トッパン数理科学シリーズ
著者名 マーコ・ペトコブセク ／〔ほか〕著, 小林勇治 ／訳, 伊藤尚史 ／訳  
著者ヨミ ペトコブセク，マーコ , コバヤシ，ユウジ , イトウ，ヒサシ  
出版者 トッパン  
出版年 199709
ページ数等 ２１１ｐ
大きさ ２５ｃｍ
内容細目 文献：ｐ１９９～２０５
原書名 Ａ＝Ｂ．　の翻訳
一般件名 情報数学  
ISBN 4-8101-8972-4
問合わせ番号（書誌番号） 1100264524
NDC8版 0071

ページの先頭へ

内容一覧

タイトル 著者名 ページ
第１部　背景（証明機械；目的を絞って；超幾何データベース）
第２部　５種類の基本アルゴリズム（Ｓｉｓｔｅｒ　Ｃｅｌｉｎｅ法；Ｇｏｓｐｅｒのアルゴリズム；Ｚｅｉｌｂｅｒｇｅｒのアルゴリズム；ＷＺ現象；アルゴリズムＨｙｐｅｒ）
第３部　エピローグ（作用素代数の観点）

ページの先頭へ