著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"溝口, 佳寛 and Garrigue, Jacques and 萩原, 学 and Affeldt, Reynald",研究集会 : 高信頼な理論と実装のための定理証明および定理証明器 = Theorem proving and provers for reliable theory and implementations (TPP2014),,"九州大学マス・フォア・インダストリ研究所, 九州大学大学院数理学府",2015,MI lecture note series,,,,https://cir.nii.ac.jp/crid/1130000797991540992