型理論による数学的知識の表現 : 無限小解析の公理系

スポンサーリンク

概要

• 論文の詳細を見る
• 静岡大学の論文

著者

• 王 国傑

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

• 王 国傑

  Dept. of Computer Science Faculty of Eng. Shizuoka University

• 鈴木 淳之

  Dept. of Computer Science Faculty of Eng. Shizuoka University

関連論文

• 定義階層構造に基づく問題解決階層の決定
• 型理論による数学的知識の表現 : 無限小解析の公理系
• LFによる状況の記述について

スポンサーリンク