TACS '91に出席して

スポンサーリンク

概要

• 論文の詳細を見る
• 一般社団法人日本ソフトウェア科学会の論文
• 1992-05-15

著者

• 高山 幸秀

  立命館大学

関連論文

• 線型論理・π-計算による構成的プログラミング・システム
• 線型論理・π-計算による構成的プログラミング・システム
• TACS '91に出席して

スポンサーリンク