書誌情報 | ファイル |
表紙・目次 (1980-09) 数理解析研究所講究録, 396
| ![file type icon](/dspace/image/fileicons/application_pdf.png) |
Implementing Consistent Recovery in a Distributed Database System (Mathematical Methods in Software Science and Engineering : Second Conference) TAKAGI, AKIHIRO (1980-09) 数理解析研究所講究録, 396: 1-20
| ![file type icon](/dspace/image/fileicons/application_pdf.png) |
Use of Data Representation Mapping in Automatic Generation of Data Base Access Procedures (Mathematical Methods in Software Science and Engineering : Second Conference) FURUKAWA, KOICHI (1980-09) 数理解析研究所講究録, 396: 21-38
| ![file type icon](/dspace/image/fileicons/application_pdf.png) |
A Method for Synthesis of Data Base Access Programs (Mathematical Methods in Software Science and Engineering : Second Conference) YONEZAWA, AKINORI (1980-09) 数理解析研究所講究録, 396: 39-63
| ![file type icon](/dspace/image/fileicons/application_pdf.png) |
Design of a View Support Subsystem of a Database System (Mathematical Methods in Software Science and Engineering : Second Conference) MASUNAGA, YOSHIFUMI (1980-09) 数理解析研究所講究録, 396: 64-103
| ![file type icon](/dspace/image/fileicons/application_pdf.png) |
Information Space Model (Mathematical Methods in Software Science and Engineering : Second Conference) TANAKA, YUZURU (1980-09) 数理解析研究所講究録, 396: 104-130
| ![file type icon](/dspace/image/fileicons/application_pdf.png) |
Interactive Debugging for Functional Recursive Programming (Mathematical Methods in Software Science and Engineering : Second Conference) NAGATA, MORIO (1980-09) 数理解析研究所講究録, 396: 131-169
| ![file type icon](/dspace/image/fileicons/application_pdf.png) |
DURAL : an Extended Prolog Language (Mathematical Methods in Software Science and Engineering : Second Conference) GOTO, SHIGEKI (1980-09) 数理解析研究所講究録, 396: 170-189
| ![file type icon](/dspace/image/fileicons/application_pdf.png) |
モンテギュ理論をめぐって (ソフトウェア科学,工学における数理的方法) 渕, 一博 (1980-09) 数理解析研究所講究録, 396: 190-198
| ![file type icon](/dspace/image/fileicons/application_pdf.png) |
Intensional Logic as a Basis of Algorithmic Logic (Mathematical Methods in Software Science and Engineering : Second Conference) SAWAMURA, HAJIME (1980-09) 数理解析研究所講究録, 396: 199-235
| ![file type icon](/dspace/image/fileicons/application_pdf.png) |
On the Knowledge-based Synthesis of Data Structure Manipulating Programs (Mathematical Methods in Software Science and Engineering : Second Conference) MANO, NOBUOKI (1980-09) 数理解析研究所講究録, 396: 236-259
| ![file type icon](/dspace/image/fileicons/application_pdf.png) |
Multidimensional Systematic Sampling (Mathematical Methods in Software Science and Engineering : Second Conference) SASAKI, TATEAKI (1980-09) 数理解析研究所講究録, 396: 260-288
| ![file type icon](/dspace/image/fileicons/application_pdf.png) |
An Exercise in Transforming Wijngaarden Grammars into Knuthian Grammars (Mathematical Methods in Software Science and Engineering : Second Conference) TOKUDA, TAKEHIRO (1980-09) 数理解析研究所講究録, 396: 289-309
| ![file type icon](/dspace/image/fileicons/application_pdf.png) |
Notes on List Marking Algorithms Using Constant Workspace (Mathematical Methods in Software Science and Engineering : Second Conference) HASEGAWA, HIROSHI (1980-09) 数理解析研究所講究録, 396: 310-318
| ![file type icon](/dspace/image/fileicons/application_pdf.png) |
自然言語処理のためのソフトウェア構造 (ソフトウェア科学,工学における数理的方法) 辻井, 潤一; 中村, 順一 (1980-09) 数理解析研究所講究録, 396: 319-354
| ![file type icon](/dspace/image/fileicons/application_pdf.png) |