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

Material type: 図書

Author: 溝口佳寛 [ほか] 編集

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

Publication date: 2015.3

Material Format: Paper

Capacity, size, etc.: 26cm

NDC: -

View All

Notes on use

Note (General)：: その他の編集者: Jacques Garrigue, 萩原学, Reynald Affeldt参考文献: 各論文末

Related materials as well as pre- and post-revision versions

MI lecture note series

Search by Bookstore

Holdings of Libraries in Japan

This page shows libraries in Japan other than the National Diet Library that hold the material.

List of Cooperating Institutions and Databases

Please contact your local library for information on how to use materials or whether it is possible to request materials from the holding libraries.

other

CiNii Research
Search Service
Paper
You can check the holdings of institutions and databases with which CiNii Research is linked at the site of CiNii Research.
Check the holdings of this book

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: 図書
Title: 研究集会 : 高信頼な理論と実装のための定理証明および定理証明器 = Theorem proving and provers for reliable theory and implementations (TPP2014)
Title Transcription: ケンキュウシュウカイ : コウシンライナリロントジッソウノタメノテイリショウメイオヨビテイリショウメイキ
Author/Editor: 溝口佳寛 [ほか] 編集
Author Heading: 溝口, 佳寛ミゾグチ, ヨシヒロ
https://ci.nii.ac.jp/author/DA1796908X
Garrigue, Jacques
https://ci.nii.ac.jp/author/DA12062661
萩原, 学ハギワラ, マナブ
https://ci.nii.ac.jp/author/DA13947584
Affeldt, Reynald
Publication, Distribution, etc.: 九州大学マス・フォア・インダストリ研究所, 九州大学大学院数理学府
Publication Date: 2015.3
Publication Date (W3CDTF): 2015
Size: 26cm
Alternative Title: 研究集会高信頼な理論と実装のための定理証明および定理証明器
Place of Publication (Country Code): ja
Target Audience: 一般
Note (General): その他の編集者: Jacques Garrigue, 萩原学, Reynald Affeldt
参考文献: 各論文末
Related Material: MI lecture note series
https://cir.nii.ac.jp/crid/1130000795153957888
Related Material (URI): https://ci.nii.ac.jp/ncid/BB18300843#entity
Periodical Title: MI lecture note series
https://cir.nii.ac.jp/crid/1130000795153957888
Data Provider (Database): 国立情報学研究所 : CiNii Research
Original Data Provider (Database): CiNii Books
https://ci.nii.ac.jp/books
NCID: https://ci.nii.ac.jp/ncid/BB18300843 : BB18300843