述語論理型プログラミング系の計算機構に関する研究

著者

• 山崎, 進 ヤマサキ, ススム

書誌事項

述語論理型プログラミング系の計算機構に関する研究

研究代表者 山崎進

[山崎進], 1984.3

タイトル別名

昭和58年度文部省科学研究費補助金一般研究(C) : 研究成果報告書

タイトル読み

ジュツゴ ロンリガタ プログラミングケイ ノ ケイサン キコウ ニ カンスル ケンキュウ

注記

課題番号: 57550217

京都大学工学部

詳細情報

• NII書誌ID(NCID): BB0667062X
• 出版国コード: ja
• タイトル言語コード: jpn
• 本文言語コード: jpneng
• 出版地: [京都]
• ページ数/冊数: 101p
• 大きさ: 26cm