並列論理型言語GHCとそのプログラミング技術 (<特集>「第五世代コンピュータ」)
スポンサーリンク
概要
- 論文の詳細を見る
- 社団法人人工知能学会の論文
- 1989-05-20
著者
関連論文
- NACLP '89の報告
- 部分計算
- 並列論理型言語GHCとそのプログラミング技術 (「第五世代コンピュータ」)
- 第5回ロジックプログラミング国際会議に出席して
- 部分評価と混合計算に関するワークショップに参加して
- GHCのメッセージ指向の並列処理 : 初期評価
- GHCのメッセージ指向の並列処理 : 概要
- GHCのメッセージ指向の処理方式
- GHCプログラムのモード解析
- GHCプログラムの最適化
- 汎用計算機上のGHC処理系
- 並列論理型言語上の制約充足方式の比較
- GHC (Guarded Horn Clauses)
- 第4回ロジックプログラミング国際会議に出席して
- 2. 言語 2.1 並列プログラミング言語 (並列処理技術)
- プログラムを最適化するには--プログラム変換と並列プログラミング (並列知識情報処理--並列と推論)
- 帰納法を用いる定理証明システム (「人工知能と定理証明システム」)