Computation by Meta-Unification with Constructors

スポンサーリンク

概要

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

著者

• 金森 直

  Mitsubishi Electric Corporation Central Research Laboratory

• 金森 直

  Central Research Laboratory Mitsubishi Electric Corporation

関連論文

• Top-down Zooming Diagnosis of Logic Programs
• Computation by Meta-Unification with Constructors

スポンサーリンク