MISC

2015年3月

高信頼な理論と実装のための定理証明および定理証明器

  • 溝口 佳寛
    • ,
  • Jacques Garrigue
    • ,
  • 萩原学
    • ,
  • Reynald Affeldt
記述言語
日本語
掲載種別
出版者・発行元
Kyushu University
エクスポート
BibTeX RIS
MISCリストへ