ALGOL N について : (IV) Operations (つづき)

スポンサーリンク

概要

• 論文の詳細を見る
• 一般社団法人情報処理学会の論文
• 1972-05-15

著者

• 島内 剛一

  立教大学理学部

• 島内 剛一

  立教大学理学部数学科

関連論文

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

スポンサーリンク