永山 友和 | 京都大学大学院情報学研究科

スポンサーリンク

概要

• 永山 友和の詳細を見る
• 同名の論文著者
• 京都大学大学院情報学研究科の論文著者

関連著者

• 佐藤 雅彦

  京都大学大学院情報学研究科

• 永山 友和

  京都大学大学院情報学研究科

• 亀山 幸義

  京都大学大学院情報学研究科

• 亀山 幸義

  筑波大

• 亀山 幸義

  筑波大学システム情報工学研究科

• 佐藤 雅彦

  Department Of Information Science Faculty Of Science University Of Tokyo

• Sato Masahiko

  Graduate School Department Of Mathematics Kyoto University

• Sato Masahiko

  Department Of Information Science Kyoto University

• 佐藤 雅彦

  京都大学大学院エネルギー科学研究科

著作論文

• 定理証明システムCoq上でのPre Logical Relationを用いた詳細化の正しさの証明

スポンサーリンク