書誌情報 | ファイル |
表紙・目次 (1981-09) 数理解析研究所講究録, 436
| |
Dependency Integration of Locally Independent Relational Databases into a Distributed Database (Mathematical Methods in Software Science and Engineering : Third Conference) TANAKA, KATSUMI; KAMBAYASHI, YAHIKO (1981-09) 数理解析研究所講究録, 436: 1-26
| |
Vocabulary Building for Database Queries (Mathematical Methods in Software Science and Engineering : Third Conference) TANAKA, YUZURU (1981-09) 数理解析研究所講究録, 436: 27-46
| |
LSI技術の展望 (ソフトウェア科学,工学の数理的方法) 唐津, 修; 日比野, 靖 (1981-09) 数理解析研究所講究録, 436: 47-66
| |
Parallelism in Algebraic Computation and Parallel Algorithms for Symbolic Linear Systems (Mathematical Methods in Software Science and Engineering : Third Conference) SASAKI, TATEAKI; KANADA, YASUMASA (1981-09) 数理解析研究所講究録, 436: 67-81
| |
List Processing on a Data Flow Machine (Mathematical Methods in Software Science and Engineering : Third Conference) AMAMIYA, MAKOTO; HASEGAWA, RYUZO; MIKAMI, HIROHIDE (1981-09) 数理解析研究所講究録, 436: 82-116
| |
Yet Another Environment-Retention Strategy (Mathematical Methods in Software Science and Engineering : Third Conference) TOSHIMA, HIROSHI (1981-09) 数理解析研究所講究録, 436: 117-131
| |
計算の難しさについて (ソフトウェア科学,工学の数理的方法) 笠井, 琢美 (1981-09) 数理解析研究所講究録, 436: 132-155
| |
A Language with Modified Block Structure for Data Abstraction and Stepwise Refinement (Mathematical Methods in Software Science and Engineering : Third Conference) CHUSHO, TAKESHI; NOGI, KENROKU; HAYASHI, TOSHIHIRO (1981-09) 数理解析研究所講究録, 436: 156-173
| |
Abstract Program Model and Functional Mapping (Mathematical Methods in Software Science and Engineering : Third Conference) OHBA, M.; TANITSU, Y.; TAKIMOTO, N.; KADOTA, H. (1981-09) 数理解析研究所講究録, 436: 174-197
| |
A Verification System for File Processing Programs (Mathematical Methods in Software Science and Engineering : Third Conference) TAMAI, TETSUO; FUKUNAGA, KOICHI (1981-09) 数理解析研究所講究録, 436: 198-217
| |
Design, Implementation and Philosophy of Hyperlisp (Mathematical Methods in Software Science and Engineering : Third Conference) HAGIYA, MASAMI (1981-09) 数理解析研究所講究録, 436: 218-232
| |
Lazy Representation for a Proof of List Marking Algorithms (Mathematical Methods in Software Science and Engineering : Third Conference) KAWAI, SATORU (1981-09) 数理解析研究所講究録, 436: 233-260
| |
Natural Language as a Specefication Language for Programs (Mathematical Methods in Software Science and Engineering : Third Conference) FUCHI, KAZUHIRO (1981-09) 数理解析研究所講究録, 436: 261-280
| |