76-08 演繹過程の注釈法

スポンサーリンク

概要

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

著者

• 山本 敬二

  慶応義塾大学工学部

関連論文

• 76-01 LISPのM式をS式に変換するSNOBOL4プログラム
• 76-08 演繹過程の注釈法

スポンサーリンク