92-9 制御におけるFormulae-as-Typesの概念

スポンサーリンク

概要

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

著者

• 西崎 真也

  京都大学数理解析研究所

関連論文

• 92-9 制御におけるFormulae-as-Typesの概念
• 東日本大震災 危機発生時の対応について考える:14.放射線量測定・放射性物質拡散シミュレーション(独,仏,日本)

スポンサーリンク