研究集会 : 高信頼な理論と実装のための定理証明および定理証明器 Theorem proving and provers for reliable theory and implementations (TPP2014)
著者
書誌事項
研究集会 : 高信頼な理論と実装のための定理証明および定理証明器 = Theorem proving and provers for reliable theory and implementations (TPP2014)
(MI lecture note series, v. 61)
九州大学マス・フォア・インダストリ研究所, 九州大学大学院数理学府, 2015.3
- タイトル別名
-
研究集会高信頼な理論と実装のための定理証明および定理証明器
- タイトル読み
-
ケンキュウ シュウカイ : コウシンライ ナ リロン ト ジッソウ ノ タメ ノ テイリ ショウメイ オヨビ テイリ ショウメイキ
大学図書館所蔵 件 / 全10件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
この図書・雑誌をさがす
注記
その他の編集者: Jacques Garrigue, 萩原学, Reynald Affeldt
参考文献: 各論文末