81-03 PROLOG についての考察

スポンサーリンク

概要

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

著者

• 後藤 滋樹

  Nttソフトウェア研究所広域コンピューティング研究部

• 後藤 滋樹

  日本電信電話公社武蔵野電気通信研究所

• 後藤 滋樹

  電電公社・武蔵野通研

関連論文

• 論理型計算モデル (非手続き型プログラミングのための計算モデル)
• ギガビットネットワークの壁 (情報処理最前線)
• Prolog の言語機能詳説 (プログラミング言語 Prolog)
• 論理と論理プログラミング
• プログラム・シンセシス
• 81-04 演繹的なプログラム合成法
• 81-03 PROLOG についての考察
• 76-12 強い意味でのプログラムの検証について
• 75-28 ループを含むプログラムの証明について
• 74-28 仮想化可能な第三世代計算機

スポンサーリンク