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

Author(s)

• 溝口, 佳寛 ミゾグチ, ヨシヒロ
• Garrigue, Jacques
• 萩原, 学 ハギワラ, マナブ
• Affeldt, Reynald

Bibliographic Information

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

溝口佳寛 [ほか] 編集

（MI lecture note series, v. 61）

九州大学マス・フォア・インダストリ研究所, 九州大学大学院数理学府, 2015.3

Other Title

研究集会高信頼な理論と実装のための定理証明および定理証明器

Title Transcription

ケンキュウ シュウカイ : コウシンライ ナ リロン ト ジッソウ ノ タメ ノ テイリ ショウメイ オヨビ テイリ ショウメイキ

Note

その他の編集者: Jacques Garrigue, 萩原学, Reynald Affeldt

参考文献: 各論文末

Details

• NCID: BB18300843
• Country Code: ja
• Title Language Code: jpn
• Text Language Code: jpneng
• Place of Publication: 福岡
• Pages/Volumes: vii, 138p
• Size: 26cm
• Parent Bibliography ID:
  • BA89888307