Hagiya Masami | Research Institute For Mathematical Sciences Kyoto University

スポンサーリンク

概要

• HAGIYA Masamiの詳細を見る
• 同名の論文著者
• Research Institute For Mathematical Sciences Kyoto Universityの論文著者

関連著者

• Hagiya Masami

  Research Institute For Mathematical Sciences Kyoto University

• Sakurai Takafumi

  Department Of Information Science Faculty Of Science University Of Tokyo

• Hagiya Masami

  Research Institute for Mathematical Sciences, Kyoto University

著作論文

• A Proof Description Language and its Reduction System
• Foundation of Logic Programming Based on Inductive Definition

スポンサーリンク