資料詳細

  • 1 件中、 1 件目

Ａ＝Ｂ 貸出可

マーコ・ペトコブセク／[ほか]著 -- トッパン -- 1997.9 -- 410

所蔵

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

所蔵館 所蔵場所 請求記号 資料番号 資料区分 帯出区分 状態
一般 公開書庫東 410/97/ 00008009409 和書 帯出可 在庫 iLisvirtual

ページの先頭へ

資料詳細

タイトル Ａ＝Ｂ ,
書名ヨミ エー　イコール　ビー
副書名 等式証明とコンピュータ
叢書名 Ａ　Ｋ　ピータース・トッパン数理科学シリーズ
著者 マーコ・ペトコブセク ／[ほか]著, 小林 【ユウ】治 ／訳, 伊藤 尚史 ／訳  
著者名ヨミ ペトコブセク,マーコ , コバヤシ,ユウジ , イトウ,ヒサシ
出版者 トッパン
出版年 1997.9
ページ数, 大きさ 211p, 25cm
NDC１０版 410
NDC８版 410
一般件名 数学 , アルゴリズム
注記 原タイトル:A=B
内容紹介 最近のコンピュータによる等式証明の発展の物語を、第一線で活躍している3人の研究者が情熱とユーモアをもって語る。理論の中心である5つの基本アルゴリズムについて詳述し、この分野における今後の展望についても述べる。
内容注記 文献：ｐ１９９〜２０５

ページの先頭へ