Akira Aiba | Institute for New Generation Computer Technology
スポンサーリンク
概要
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
- Hash Codingの理論と応用 (情報科学の数学的理論)
- Music Server System : Distributed Music System on Local Area Network
- Representation of Legal Knowledge