島内 剛一 | 立教大学理学部数学科

スポンサーリンク

概要

• 島内 剛一の詳細を見る
• 同名の論文著者
• 立教大学理学部数学科の論文著者

関連著者

• 島内 剛一

  立教大学理学部

• 島内 剛一

  立教大学理学部数学科

• 筧 捷彦

  東京大学工学部

著作論文

• Dynamics of System Program : Progressive Induction (アルゴリズムにおける証明論)
• ALGOL N の開発
• ALGOL N について : (IV) Operations (つづき)
• ALGOL N について : (IV) Operations

スポンサーリンク