JAIST-REPORT completeness of semantic paramodulation : a category-based approach

スポンサーリンク

概要

• 論文の詳細を見る
• 北陸先端科学技術大学院大学の論文

著者

• Diaconescu Razvan

  北陸先端科学技術大学院大学

• Diaconescu Razvan

  北陸先端科学技術大学院大学情報科学研究科

関連論文

• 項書換え系に基づく定理証明支援環境の構築
• JAIST-REPORT completeness of semantic paramodulation : a category-based approach
• JAIST-REPORT completeness of semantic paramodulation : a category-based approach

スポンサーリンク