香川県立図書館
図書館ホーム
標準蔵書検索
詳細蔵書検索
資料紹介
図書館カレンダー
Myライブラリ
本サイトにはJavaScriptの利用を前提とした機能がございます。
お客様の環境では一部の機能がご利用いただけない可能性がございますので、ご了承ください。
資料詳細
詳細蔵書検索
1 件中、 1 件目
A=B
マーコ・ペトコブセク/〔ほか〕著 -- トッパン -- 1997.9 -- 007.1
新着図書お知らせメール
本棚へ
所蔵
所蔵は
1
件です。現在の予約件数は
0
件です。
所蔵場所
請求記号
資料番号
資料区分
帯出区分
状態
書庫
0071/P4/
1105038770
一般
貸出可
在庫
ページの先頭へ
資料詳細
種別
図書
タイトルコード
1107051665
タイトル
A=B
タイトルカナ
エイ イコール ビー A EQUAL B
副書名
等式証明とコンピュータ
著者
マーコ・ペトコブセク
/〔ほか〕著,
小林〓治,伊藤尚史
/訳,
伊藤尚史
著者カナ
ペトコブセク マーコ
叢書名
AKピータース・トッパン数理科学シリーズ
7
出版地
東京
出版者
トッパン
出版年
1997.9
ページ数
211p
大きさ
25cm
原タイトル
A=B.
一般件名
情報数学
NDC分類(8版)
007.1
ISBN
4-8101-8972-4
定価
¥3800
内容注記
文献:p199~205
ページの先頭へ