Metis : A Term Rewriting System Generator : An Inference Engine for Equations and Inequations

スポンサーリンク

概要

• 論文の詳細を見る
• 京都大学の論文

著者

• Sakai Ko

  Icot Research Center

• Ohsuga Akihiko

  ICOT Research Center

関連論文

• Boolean Grobner Bases
• Metis : A Term Rewriting System Generator : An Inference Engine for Equations and Inequations

スポンサーリンク