コレクションホームページ
0511 ソフトウェア科学・工学の数理的方法
14
0511 ソフトウェア科学・工学の数理的方法
14
(http://hdl.handle.net/2433/98056)
ブラウズ
文献一覧(目次の昇順ソート): 1 - 14 / 14
書誌情報 | ファイル |
---|---|
表紙・目次 (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 |
文献一覧(目次の昇順ソート): 1 - 14 / 14