ホーン集合反証機構を用いた述語論理型プログラム言語と他の言語との結合に関する研究

閲覧数: 3
ダウンロード数: 0
このエントリーをはてなブックマークに追加

ホーン集合反証機構を用いた述語論理型プログラム言語と他の言語との結合に関する研究

フォーマット:
助成・補助金
Kyushu Univ. Production 九州大学成果文献
責任表示:
高木 利久(九州大学・助手)
本文言語:
日本語
研究期間:
1982
本文を見る

類似資料:

8
プログラム言語 by 山崎, 利治
9
プログラム言語 by 米田, 信夫; 西村, 恕彦
5
jj結合殻模型計算用プログラム(jjSMQ) by 高田, 健次郎; 安本, 誠一; 佐藤, 求; 清水, 良文
5.
jj結合殻模型計算用プログラム(jjSMQ) by 高田, 健次郎; 安本, 誠一; 佐藤, 求; 清水, 良文
8.
プログラム言語 by 山崎, 利治
9.
プログラム言語 by 米田, 信夫; 西村, 恕彦