書誌情報	ファイル
表紙・目次    (1984-02)   数理解析研究所講究録, 511
A Fast Parallel Merging Algorithm for 2-3 trees   SHIBAYAMA, Etsuya (1984-02)   数理解析研究所講究録, 511: 1-25
Analogy and Generalization   Haraguchi, Makoto (1984-02)   数理解析研究所講究録, 511: 26-48
Evaluating graph representations with active nodes   NUMAO, Masayuki; SHIMURA, Masamichi (1984-02)   数理解析研究所講究録, 511: 49-73
On Equivalence Trarnsformations for Term Rewriting Systems   TOYAMA, Yoshihito (1984-02)   数理解析研究所講究録, 511: 74-96
ロボットのソフトウェア : tutorial(ソフトウェア科学・工学の数理的方法)   塚本, 享治; 末広, 尚士 (1984-02)   数理解析研究所講究録, 511: 97-119
Analysis and transformation of concurrent processes connected by streams   Kuse, Kazushi; Sassa, Masataka; Nakata, Ikuo (1984-02)   数理解析研究所講究録, 511: 120-143
A Portable Logic Simulation System   Shimizu, Kentaro (1984-02)   数理解析研究所講究録, 511: 144-155
自然言語の意味論 : 概説(ソフトウェア科学・工学の数理的方法)   郡司, 隆男 (1984-02)   数理解析研究所講究録, 511: 156-168
Partial Computation with a Dataflow Machine   ONO, Satoshi; TAKAHASHI, Naohisa; AMAMIYA, Makoto (1984-02)   数理解析研究所講究録, 511: 169-203
OR-Parallel Optimizing Prolog System : POPS Its design and implementation in Concurrent Prolog   Hirakawa, Hideki; Onai, Rikio; Furukawa, Kohichi (1984-02)   数理解析研究所講究録, 511: 204-222
INCORPORATING NAIVE NEGATION INTO PROLOG   Sakai, K.; Miyachi, T. (1984-02)   数理解析研究所講究録, 511: 223-241
The Temporal Semantics of Logic Programming   Yonezaki, Naoki (1984-02)   数理解析研究所講究録, 511: 242-258
Foundation of Logic Programming Based on Inductive Definition   Hagiya, Masami; Sakurai, Takafumi (1984-02)   数理解析研究所講究録, 511: 259-273