MISC

2009年

異なる帰納スキームにまたがる性質の定理証明手法

日本ソフトウェア科学会第26回大会
  • 共著
September, 2009
エクスポート
BibTeX RIS
MISCリストへ