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

Author(s)

• 溝口, 文雄 ミゾグチ, フミオ
• 古川, 康一 フルカワ, コウイチ

Bibliographic Information

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

古川康一, 溝口文雄共編

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

共立出版, 1987.9

Title Transcription

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

Access to Electronic Resource 1 items

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

  1987

  NDL Digital Collections

  Limited

Note

監修: 淵一博

執筆: 竹内彰一 [ほか]

文献: 章末

Description and Table of Contents

Table of Contents

• 第１章　ＧＨＣ序論
• 第２章　並列論理型言語の比較
• 第３章　ＧＨＣの基本
• 第４章　ＧＨＣのプログラミング技術
• 第５章　ＧＨＣによる全解探索
• 第６章　ＧＨＣ応用プログラム（１）論理回路シミュレータ
• 第７章　ＧＨＣ応用プログラム（２）構文解析プログラム
• 第８章　ＧＨＣ応用プログラム（３）プロダクション・システム
• 第９章　ＧＨＣ応用プログラム（４）簡単なＯＳ
• 第１０章　ＧＨＣのプログラミング環境
• 付録　ＧＨＣのＰｒｏｌｏｇ上の処理系

by "BOOK database"

Details

• NCID: BN01298344
• ISBN:
  • 4320022661
• Country Code: ja
• Title Language Code: jpn
• Text Language Code: jpn
• Place of Publication: 東京
• Pages/Volumes: viii, 277p
• Size: 22cm
• Classification:
  • NDC8 : 007.64
  • NDC7 : 401
  • NDC7 : 418.6
• Subject Headings:
  • BSH : 電子計算機 -- プログラミング
  • NDLSH : プログラミング(電子計算機)
  • NDLSH : プログラミング用言語
• Parent Bibliography ID:
  • BN00087558