勝谷 浩明 | 神戸大学大学院自然科学研究科

スポンサーリンク

概要

• 勝谷 浩明の詳細を見る
• 同名の論文著者
• 神戸大学大学院自然科学研究科の論文著者

関連著者

• 勝谷 浩明

  神戸大学大学院自然科学研究科

著作論文

• A Type-Theoretic Framework of Nonstandard Analysis

スポンサーリンク