トップメニュー >

資料詳細

A=B 貸出可

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

所蔵

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

所蔵場所	請求記号	資料コード	資料区分	帯出区分	状態
地下書庫	/410/ｴ/	113648240	成人一般	可能

ページの先頭へ

資料詳細

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

ページの先頭へ