永田 守男 | Faculty Of Science And Technology Keio University

スポンサーリンク

概要

• 永田 守男の詳細を見る
• 同名の論文著者
• Faculty Of Science And Technology Keio Universityの論文著者

関連著者

• 永田 守男

  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

スポンサーリンク