2015年3月 高信頼な理論と実装のための定理証明および定理証明器 溝口 佳寛, Jacques Garrigue, 萩原学, Reynald Affeldt 記述言語 日本語 掲載種別 出版者・発行元 Kyushu University エクスポート BibTeX RIS