Notes on a Method for Describing Definitions Theorems, Proofs in Mathematics

スポンサーリンク

概要

• 論文の詳細を見る
• 京都大学の論文

著者

• 石川 史郎

  Faculty Of Science And Technology Keio University

• 永田 守男

  Faculty Of Science And Technology Keio University

関連論文

• Model theory and programing language(Computer Algebra and its Applications to Mathematical Studies)
• Notes on a Method for Describing Definitions Theorems, Proofs in Mathematics
• COSMOS: A Conversational Algebraic System

スポンサーリンク