Diaconescu Razvan | 北陸先端科学技術大学院大学
スポンサーリンク
概要
関連著者
-
Diaconescu Razvan
北陸先端科学技術大学院大学
-
二木 厚吉
北陸先端科学技術大学院大学情報科学研究科
-
澤田 寿実
(株)sra
-
石曽根 信
(株)SRA
-
中川 中
(株)SRAソフトウエアエ学研究所
-
Diaconescu Razvan
北陸先端科学技術大学院大学情報科学研究科
著作論文
- 項書換え系に基づく定理証明支援環境の構築
- JAIST-REPORT completeness of semantic paramodulation : a category-based approach
- JAIST-REPORT completeness of semantic paramodulation : a category-based approach