図書

Coqによる定理証明

図書を表すアイコン

Coqによる定理証明

国立国会図書館請求記号
Y93-L4879
国立国会図書館書誌ID
025731507
資料種別
図書
著者
坂口和彦, 平井洋一, 石井大海 著
出版者
[坂口和彦]
出版年
2013.12
資料形態
紙
ページ数・大きさ等
88p ; 21cm
NDC
-
すべて見る

書店で探す

書店で探す

書店で探す

書誌情報

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

紙

資料種別
図書
タイトル
Coqによる定理証明
タイトルよみ
Coq ニ ヨル テイリ ショウメイ
著者・編者
坂口和彦, 平井洋一, 石井大海 著
出版事項
[出版地不明] : [坂口和彦]
出版年月日等
2013.12
出版年（W3CDTF）
2013
数量
88p
大きさ
21cm
出版地（国名コード）
JP