高信頼な理論と実装のための定理証明および定理証明器 : 研究集会 (MI lecture note : Kyushu University ; vol. 61)

高信頼な理論と実装のための定理証明および定理証明器 = Theorem proving and provers for reliable theory and implementations (TPP 2014) : 研究集会

(MI lecture note : Kyushu University ; vol. 61)

国立国会図書館請求記号: M159-L655
国立国会図書館書誌ID: 026320868

資料種別: 図書

著者: 溝口佳寛, Jacques Garrigue, 萩原学, Reynald Affeldt 編

出版者: 九州大学マス・フォア・インダストリ研究所

出版年: 2015.3

資料形態: 紙

ページ数・大きさ等: 138p ; 26cm

NDC: 007.63

すべて見る

資料に関する注記

一般注記：: 共同刊行: 九州大学大学院数理学府

書店で探す

書誌情報

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

紙

資料種別: 図書
ISSN（シリーズ）: 2188-1200
タイトル: 高信頼な理論と実装のための定理証明および定理証明器 : 研究集会
タイトルよみ: コウシンライナリロントジッソウノタメノテイリショウメイオヨビテイリショウメイキ : ケンキュウシュウカイ
著者・編者: 溝口佳寛, Jacques Garrigue, 萩原学, Reynald Affeldt 編
シリーズタイトル: MI lecture note : Kyushu University ; vol. 61
著者標目: 溝口, 佳寛ミゾグチ, ヨシヒロ ( 001135175 )典拠
Garrigue, Jacques, 1971- ( 00738964 )典拠
萩原, 学, 1974- ハギワラ, マナブ, 1974- ( 001117071 )典拠
出版事項: [福岡] : 九州大学マス・フォア・インダストリ研究所
出版年月日等: 2015.3
出版年（W3CDTF）: 2015
数量: 138p
大きさ: 26cm
並列タイトル等: Theorem proving and provers for reliable theory and implementations (TPP 2014) Theorem proving and provers for reliable theory and implementations (TPP 2014)
Theorem proving and provers for reliable theory and implementations (TPP 2014)
出版地（国名コード）: JP
本文の言語コード: jpn
言語注記: 英語併載
件名標目: ソフトウェア--品質管理ソフトウェアヒンシツカンリ ( 00963619 )典拠
記号論理学キゴウロンリガク ( 00565709 )典拠
NDC9版: 007.63 : 情報科学
NDLC: M159
対象利用者: 一般
一般注記: 共同刊行: 九州大学大学院数理学府
書誌注記: 文献あり
所蔵機関: 国立国会図書館
請求記号: M159-L655
連携機関・データベース: 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
書誌ID（NDLBibID）: 026320868
http://id.ndl.go.jp/bib/026320868
全国書誌番号: 22572715
目録規則: 日本目録規則1987年版改訂版
整理区分コード: 111