論理と計算 : IFIP Congress'86パネル討論CSP2報告

スポンサーリンク

概要

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

著者

• 高須 達

  京都大学数理解析研究所

関連論文

• 論理と計算 : IFIP Congress'86パネル討論CSP2報告
• A Logical Basis for Programming Methodology (II) (Mathematical Studies of Information Processing)
• Key Assertions and Backward Substitutions (アルゴリズムにおける証明論)
• On the Key Assertions (プログラムの基礎理論)

スポンサーリンク