Diaconescu Razvan | 北陸先端科学技術大学院大学

スポンサーリンク

概要

• 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

スポンサーリンク