1. Kyoto University Research Information Repository

検索


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

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

 | 
検索結果表示: 1-10 / 11.
検索結果:
書誌情報ファイル
Paddable Sets in Number Theory(Complexity Theory and Related Topics)
  Ogiwara, Mitsunori (1990-03)
  数理解析研究所講究録, 716: 1-9
file type icon 
Learning Weak Monadic Second-Order Logical Formulas from Queries and Counterexamples(Complexity Theory and Related Topics)
  Nishino, Tetsuro (1990-03)
  数理解析研究所講究録, 716: 37-59
file type icon 
推論の並列化(計算量理論とその周辺)
  宮野, 悟 (1990-03)
  数理解析研究所講究録, 716: 71-80
file type icon 
On Learning A Class of Context-free Languages in Polynomial Time(Complexity Theory and Related Topics)
  YOKOMORI, Takashi (1990-03)
  数理解析研究所講究録, 716: 60-70
file type icon 
有向グラフに対する極大パスカバー問題の計算量(計算量理論とその周辺)
  山神, 憲司; 植村, 憲治; 夜久, 竹夫 (1990-03)
  数理解析研究所講究録, 716: 19-36
file type icon 
平均計算時間に基づく計算複雑さの研究について(計算量理論とその周辺)
  渡辺, 治 (1990-03)
  数理解析研究所講究録, 716: 10-18
file type icon 
表紙・目次
   (1990-03)
  数理解析研究所講究録, 716
file type icon 
単項演算に対する局所計算可能な符号化(計算量理論とその周辺)
  安浦, 寛人 (1990-03)
  数理解析研究所講究録, 716: 81-100
file type icon 
On the Complexity of Three-Level Logic Circuits(Complexity Theory and Related Topics)
  SASAO, Tsutomu (1990-03)
  数理解析研究所講究録, 716: 101-116
file type icon 
A METHOD TO COMPUTE LOWER BOUNDS ON CIRCUIT-SIZE COMPLEXITY(Complexity Theory and Related Topics)
  MACHIDA, Hajime (1990-03)
  数理解析研究所講究録, 716: 117-123
file type icon 

絞り込み