図書

定理証明手習い

図書を表すアイコン

定理証明手習い

国立国会図書館請求記号
M159-L1476
国立国会図書館書誌ID
028707452
資料種別
図書
著者
Daniel P. Friedman, Carl Eastlund 著ほか
出版者
ラムダノート
出版年
2017.10
資料形態
ページ数・大きさ等
220p ; 21cm
NDC
007.64
すべて見る

資料に関する注記

一般注記:

原タイトル: The little prover

書店で探す

全国の図書館の所蔵

国立国会図書館以外の全国の図書館の所蔵状況を表示します。

所蔵のある図書館から取寄せることが可能かなど、資料の利用方法は、ご自身が利用されるお近くの図書館へご相談ください

関東

書誌情報

この資料の詳細や典拠(同じ主題の資料を指すキーワード、著者名)等を確認できます。

資料種別
図書
ISBN
978-4-908686-02-3
タイトルよみ
テイリ ショウメイ テナライ
著者・編者
Daniel P. Friedman, Carl Eastlund 著
中野圭介 監訳
著者標目
中野, 圭介, 情報学 ナカノ, ケイスケ, ジョウホウガク ( 001290450 )典拠
出版年月日等
2017.10
出版年(W3CDTF)
2017
数量
220p