Kyoto University Research Information Repository: 検索

DSpace

Kyoto University

検索

検索結果表示: 21-30 / 4868.

前
1
2
3
4
5
6
...
487
次

検索結果:

書誌情報	ファイル
Complexity of the Optimum Join Order Problem in Deductive Databases UNO, Yushi; IBARAKI, Toshihide (1989-06) 数理解析研究所講究録, 695: 108-114
Long Cycles through Specified Vertices in a Graph(Group and Algebraic Combinatorial Theory) Saito, Akira (1987-08) 数理解析研究所講究録, 630: 1-8
Inductive Inference of Logic Programs Based on Algebraic Semantics SAKAKIBARA, Yasubumi (1988-04) 数理解析研究所講究録, 655: 64-83
A distributed rewriting system in a cellular space NISHIDA, Taishin (1988-04) 数理解析研究所講究録, 655: 1-19
Programming Language Designs to Support Programming Methodologies Hayashi, Tsunetoshi (1986-03) 数理解析研究所講究録, 586: 35-43
On Higher Differentiability and Partial Regularity if the Minimizers in the Calculus of Variations(Solutions for Nonlinear Elliptic Equations) HORIHATA, KAZUHIRO (1989-02) 数理解析研究所講究録, 679: 117-126
On the Working Set Concept for Data-flow Machines : Consideration on List Processing on a Hierarchical Structured Memory Nagamatsu, Tatsuo; Sunahara, Hideki; Tokoro, Mario (1987-04) 数理解析研究所講究録, 618: 97-109
イベントの2項関係に基くハードウェア仕様記述(アルゴリズムの数学的基礎理論とその応用) 手嶋, 茂晴; 平石, 祐実; 矢島, 脩三 (1986-05) 数理解析研究所講究録, 591: 53-64
ASYMMETRIC NEURAL NETWORKS WITH EFFECTOR AND RECEPTOR PARAMETERS(Mathematical Topics in Biology) Kobuchi, Youichi (1989-02) 数理解析研究所講究録, 678: 85-100
A COMMENT ON THE DISTANT INTERACTION ALGORITHM(Flow Instability and Turbulence) Gotoh, Toshiyuki; Kaneda, Yukio (1988-06) 数理解析研究所講究録, 661: 231-241