スポンサーリンク
Institute for New Generation Computer Technology | 論文
- ON THE OPERATIONAL SEMANTICS OF GUARDED HORN CLAUSES
- OR-Parallel Optimizing Prolog System : POPS Its design and implementation in Concurrent Prolog
- Representation of Legal Knowledge
- A Constraint-Based Knowledge Compiler for Parametric Design Problems in Mechanical Engineering
- Hash Codingの理論と応用 (情報科学の数学的理論)
- A Simple Semantic Model for Flat GHC
- Computing Soft Constrains by Hierarchical Constraint logic Programming
- Music Server System : Distributed Music System on Local Area Network
- A Probabilistic Interpretation for Lazy Nonmonotonic Reasoning
- Computing Soft Constraints by Hierarchical Constraint Logic Programming