NAKAJIMA REIJI | Research Institute for Mathematical Sciences, Kyoto University

スポンサーリンク

概要

• NAKAJIMA REIJIの詳細を見る
• 同名の論文著者
• Research Institute for Mathematical Sciences, Kyoto Universityの論文著者

関連著者

• Honda Michio

  Dept. Of Information Science Kagawa University

• NAKAJIMA REIJI

  Research Institute for Mathematical Sciences, Kyoto University

• Nakajima Reiji

  Research Institute For Mathematical Sciences Kyoto University

著作論文

• Interactive Theorem Proving on Hierarchically and Modularly Structured Sets of Very Many Axioms (Mathematical Methods in Software Science and Engineering)

スポンサーリンク