Prologのコルーチン・インタプリタの検証について(同期の数理)
スポンサーリンク
概要
著者
関連論文
- データベースへの知的アクセス (データベース技術)
- 関係データベースに対するデータアクセスの数式処理による最適化について
- データベースの知的アクセス
- データ構造に対する表現の選択
- 人工知能とデータ・ベース
- 72-42 ノイズのある画面での曲線の最適検知について
- データ構造(II)
- コンフリクト・フラグをもったハッシュ記憶法
- データ構造(I)
- 71-31 誤りを許すハッシュ・コーディングの空間・時間の得失
- マジック・リスト : 両方向リストを1個のポインタですませる方法
- 70-61 グラフィックによる汎用の問題解析機
- コンピュータ・グラフィクスにおけるデータ構造の問題
- 70-29 アルゴルを基礎にした連想言語
- 69-36 タイムシェアリングシステムにおけるコア領域配分のモデル
- 元岡 達, 淵 一博 編, "New Generation Computing : An International Journal on Fifth Generation Computers", オーム社, Springer-Verlag, B5 変形判, (年 \27,500)
- 時間を含む知識の表現と推論
- エキスパートシステムにおける知識表現と推論 (エキスパート・システム)
- 並列 Prolog (プログラミング言語 Prolog)
- FGCS '88
- Prologインタプリタの記述と並列化への拡張
- Prologのコルーチン・インタプリタの検証について(同期の数理)
- 論争支援マルチモーダル実験システム MrBengo
- クラスタ例からの学習
- 論争支援のマルチモーダル実験システム
- クラスタリングに対する例からの学習
- 法的推論システムHELlC-IIの判例ベース検索の拡張にむけて
- 工業所有権法の知識表現システムKRIP
- 論理と応用(1)
- Hash Codingの理論と応用 (情報科学の数学的理論)