Kyoto University Research Information Repository: 検索

DSpace

Kyoto University

検索

検索結果表示: 1-10 / 15.

前
1
2
次

検索結果:

書誌情報	ファイル
自然言語処理のためのソフトウェア構造 (ソフトウェア科学,工学における数理的方法) 辻井, 潤一; 中村, 順一 (1980-09) 数理解析研究所講究録, 396: 319-354
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
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
Notes on List Marking Algorithms Using Constant Workspace (Mathematical Methods in Software Science and Engineering : Second Conference) HASEGAWA, HIROSHI (1980-09) 数理解析研究所講究録, 396: 310-318
Multidimensional Systematic Sampling (Mathematical Methods in Software Science and Engineering : Second Conference) SASAKI, TATEAKI (1980-09) 数理解析研究所講究録, 396: 260-288
モンテギュ理論をめぐって (ソフトウェア科学,工学における数理的方法) 渕, 一博 (1980-09) 数理解析研究所講究録, 396: 190-198
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
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
Implementing Consistent Recovery in a Distributed Database System (Mathematical Methods in Software Science and Engineering : Second Conference) TAKAGI, AKIHIRO (1980-09) 数理解析研究所講究録, 396: 1-20
Intensional Logic as a Basis of Algorithmic Logic (Mathematical Methods in Software Science and Engineering : Second Conference) SAWAMURA, HAJIME (1980-09) 数理解析研究所講究録, 396: 199-235