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

CiNii Available at 10 libraries

Bibliographic Information

Title
"研究集会 : 高信頼な理論と実装のための定理証明および定理証明器 = Theorem proving and provers for reliable theory and implementations (TPP2014)"
Statement of Responsibility
溝口佳寛 [ほか] 編集
Publisher
  • 九州大学マス・フォア・インダストリ研究所, 九州大学大学院数理学府
Publication Year
  • 2015.3
Book size
26cm
Other Title
  • ケンキュウ シュウカイ : コウシンライ ナ リロン ト ジッソウ ノ タメ ノ テイリ ショウメイ オヨビ テイリ ショウメイキ
  • 研究集会高信頼な理論と実装のための定理証明および定理証明器

Search this Book/Journal

Notes

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

参考文献: 各論文末

Related Books

See more

Details 詳細情報について

  • CRID
    1130000797991540992
  • NII Book ID
    BB18300843
  • Country Code
    ja
  • Title Language Code
    ja
  • Place of Publication
    • 福岡
  • Data Source
    • CiNii Books
Back to top