鈴木 淳之 | Dept. of Computer Science Faculty of Eng. Shizuoka University

スポンサーリンク

概要

• 同名の論文著者
• Dept. of Computer Science Faculty of Eng. Shizuoka Universityの論文著者

関連著者

• 鈴木 淳之

  Dept. of Computer Science Faculty of Eng. Shizuoka University

• 王 国傑

  静岡大学大学院電子科学研究科

• 王 国傑

  Dept. of Computer Science Faculty of Eng. Shizuoka University

• Wang Cuo

  Dept. Of Computer Science Faculty Of Eng. Shizuoka University

著作論文

• 型理論による数学的知識の表現 : 無限小解析の公理系
• LFによる状況の記述について

スポンサーリンク