蔵書情報
この資料の蔵書に関する統計情報です。現在の所蔵数 在庫数 予約数などを確認できます。
この資料に対する操作
電子書籍を読むを押すと 電子図書館に移動しこの資料の電子書籍を読むことができます。
資料情報
各蔵書資料に関する詳細情報です。
No. |
所蔵館 |
配架場所 |
請求記号 |
資料番号 |
資料種別 |
状態 |
個人貸出 |
在庫
|
1 |
中央図書館 | 一般書庫 | 410/6/ | 0105425820 | 一般 | 在庫 | 可 |
○ |
書誌詳細
この資料の書誌詳細情報です。
タイトルコード |
1000000249300 |
書誌種別 |
図書 |
書名 |
A=B |
書名ヨミ |
エー イコール ビー |
|
等式証明とコンピュータ |
叢書名 |
A K ピータース・トッパン数理科学シリーズ
|
叢書番号 |
7 |
言語区分 |
日本語 |
著者名 |
マーコ・ペトコブセク/[ほか]著
小林 【ユウ】治/訳
伊藤 尚史/訳
|
著者名ヨミ |
マーコ ペトコブセク コバヤシ ユウジ イトウ ヒサシ |
著者名原綴 |
Petkov?ek Marko |
出版地 |
東京 |
出版者 |
トッパン
|
出版年月 |
1997.9 |
本体価格 |
¥3800 |
ISBN |
4-8101-8972-4 |
数量 |
211p |
大きさ |
25cm |
分類記号 |
410
|
件名 |
数学
アルゴリズム
|
注記 |
原タイトル:A=B |
注記 |
文献:p199~205 |
内容紹介 |
最近のコンピュータによる等式証明の発展の物語を、第一線で活躍している3人の研究者が情熱とユーモアをもって語る。理論の中心である5つの基本アルゴリズムについて詳述し、この分野における今後の展望についても述べる。 |
内容細目
関連資料
この資料に関連する資料を 同じ著者 出版年 分類 件名 受賞などの切り口でご紹介します。
マーコ・ペトコブセク 小林 【ユウ】治 伊藤 尚史
前のページへ