書誌事項

並列論理型言語GHCとその応用

古川康一, 溝口文雄共編

(知識情報処理シリーズ / 古川康一, 溝口文雄共編 ; 淵一博監修, 6)

共立出版, 1987.9

タイトル読み

ヘイレツ ロンリガタ ゲンゴ GHC ト ソノ オウヨウ

電子リソースにアクセスする 全1
注記

監修: 淵一博

執筆: 竹内彰一 [ほか]

文献: 章末

内容説明・目次

目次

  • 第1章 GHC序論
  • 第2章 並列論理型言語の比較
  • 第3章 GHCの基本
  • 第4章 GHCのプログラミング技術
  • 第5章 GHCによる全解探索
  • 第6章 GHC応用プログラム(1)論理回路シミュレータ
  • 第7章 GHC応用プログラム(2)構文解析プログラム
  • 第8章 GHC応用プログラム(3)プロダクション・システム
  • 第9章 GHC応用プログラム(4)簡単なOS
  • 第10章 GHCのプログラミング環境
  • 付録 GHCのProlog上の処理系

「BOOKデータベース」 より

関連文献: 1件中  1-1を表示
詳細情報
ページトップへ