81-34 二階論理のユニフィケーションの非決定性について

スポンサーリンク

概要

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

著者

• 森崎 正人

  日本電信電話公社横須賀電気通信研究所データ通信研究部データ通信研究室

• 森崎 正人

  電電公社・横須賀通研

関連論文

• ソフトウエア使用における人間的要素 オペレーティング・システム (計算機システムにおける人間的側面)
• 81-34 二階論理のユニフィケーションの非決定性について

スポンサーリンク