32. 述語論理型言語 (<大特集>プログラミング言語の最近の動向)

スポンサーリンク

概要

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

著者

• 渕 一博

  電子技術総合研究所

• 渕 一博

  電子技術総合研究所パターン情報部

関連論文

• モンテギュ理論をめぐって (ソフトウェア科学,工学における数理的方法)
• 32. 述語論理型言語 (プログラミング言語の最近の動向)
• F-67. タイム・シェアリングの二つの側面

スポンサーリンク