検索


適用済条件:


検索をやり直す
検索条件の追加:

検索条件を追加することで検索結果を絞り込むことができます。


検索結果表示: 1-10 / 449.
検索結果:
書誌情報ファイル
Long Cycles through Specified Vertices in a Graph(Group and Algebraic Combinatorial Theory)
  Saito, Akira (1987-08)
  数理解析研究所講究録, 630: 1-8
file type icon 
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
file type icon 
Model Inference Incorporating Generalization
  ISHIZAKA, Hiroki (1987-04)
  数理解析研究所講究録, 618: 1-15
file type icon 
Fixed Point Semantics for Parallel Logic Programming Languages
  Shibayama, Etsuya (1987-04)
  数理解析研究所講究録, 618: 40-58
file type icon 
Inheritance Mechanisms in Distributed Object-Oriented Languages
  BRIOT, Jean-Pierre; YONEZAWA, Akinori (1987-04)
  数理解析研究所講究録, 618: 59-75
file type icon 
Nombres de classes dans certaines extensions infinies(Algebraic Number Theory)
  Gillard, par R. (1987-01)
  数理解析研究所講究録, 603: 60-71
file type icon 
THE CLASS NUMBER TWO PROBLEM FOR CERTAIN QUARTIC FIELDS(Algebraic Number Theory)
  Williams, Kenneth S. (1987-01)
  数理解析研究所講究録, 603: 51-59
file type icon 
A Variable Priority Queue and its Applications
  Suzuki, Hitoshi; Nishizeki, Takao; Saito, Nobuji (1987-05)
  数理解析研究所講究録, 625: 176-185
file type icon 
Counterexamples to Termination for the Direct Sum of Term Rewriting Systems
  TOYAMA, Yoshihito (1987-05)
  数理解析研究所講究録, 625: 242-246
file type icon 
Monitoring Ada Tasking Programs Correctly
  CHENG, Jingde; ARAKI, Keijiro; USHIJIMA, Kazuo (1987-04)
  数理解析研究所講究録, 618: 110-129
file type icon