本文に飛ぶ

図書

Coqによる定理証明 : コンビネータ論理C83版

図書を表すアイコン

Coqによる定理証明 : コンビネータ論理C83版

国立国会図書館請求記号
Y93-L4878
国立国会図書館書誌ID
025731493
資料種別
図書
著者
坂口和彦 著
出版者
[坂口和彦]
出版年
2012.12
資料形態
紙
ページ数・大きさ等
15p ; 21cm
NDC
-
すべて見る

書店で探す

書店で探す

書店で探す

書誌情報

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

紙

資料種別
図書
タイトル
Coqによる定理証明 : コンビネータ論理C83版
タイトルよみ
Coq ニ ヨル テイリ ショウメイ : コンビネータ ロンリ C83バン
著者・編者
坂口和彦 著
出版事項
[出版地不明] : [坂口和彦]
出版年月日等
2012.12
出版年（W3CDTF）
2012
数量
15p
大きさ
21cm
出版地（国名コード）
JP