Jump to main content

図書

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

Icons representing 図書

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

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

Call No. (NDL)
M159-L655
Bibliographic ID of National Diet Library
026320868
Material type
図書
Author
溝口佳寛, Jacques Garrigue, 萩原学, Reynald Affeldt 編
Publisher
九州大学マス・フォア・インダストリ研究所
Publication date
2015.3
Material Format
Paper
Capacity, size, etc.
138p ; 26cm
NDC
007.63
View All

Notes on use

Note (General)：

共同刊行: 九州大学大学院数理学府

Search by Bookstore

Search by Bookstore

Search by Bookstore

Bibliographic Record

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Paper

Material Type
図書
ISSN (series)
2188-1200
Title
高信頼な理論と実装のための定理証明および定理証明器 : 研究集会
Title Transcription
コウシンライナ リロン ト ジッソウ ノ タメノ テイリ ショウメイ オヨビ テイリ ショウメイキ : ケンキュウ シュウカイ
Author/Editor
溝口佳寛, Jacques Garrigue, 萩原学, Reynald Affeldt 編
Series Title
MI lecture note : Kyushu University ; vol. 61
Author Heading
溝口, 佳寛 ミゾグチ, ヨシヒロ ( 001135175 )Authorities
Garrigue, Jacques, 1971- ( 00738964 )Authorities
萩原, 学, 1974- ハギワラ, マナブ, 1974- ( 001117071 )Authorities
Publication, Distribution, etc.
[福岡] : 九州大学マス・フォア・インダストリ研究所
Publication Date
2015.3
Publication Date (W3CDTF)
2015