検索
検索条件の追加:
検索条件を追加することで検索結果を絞り込むことができます。
検索結果:
書誌情報 | ファイル |
---|---|
実関数の帰納推論(I) : 厳密推論 (アルゴリズムと計算の理論) 有川, 節夫; 廣渡, 栄寿 (1998-04) 数理解析研究所講究録, 1041: 199-204 | |
実関数の帰納推論(II) : 近似推論 (アルゴリズムと計算の理論) 有川, 節夫; 廣渡, 栄寿 (1998-04) 数理解析研究所講究録, 1041: 205-210 | |
二分モーメントグラフによる除算表現の大きさの指数下界 (アルゴリズムと計算の理論) 中西, 正樹; 浜口, 清治; 柏原, 敏伸 (1998-04) 数理解析研究所講究録, 1041: 63-70 | |
RECURSIVE ENUMERABILITY IN SET THEORY (Algorithms and Theory of Computing) Wate, Masamichi; Yaku, Takeo (1998-04) 数理解析研究所講究録, 1041: 119-126 | |
A Note on Two-dimensional Probabilistic Turing Machines (Algorithms and Theory of Computing) Okazaki, Tokio; Inoue, Katsushi; Ito, Akira; Wang, Yue (1998-04) 数理解析研究所講究録, 1041: 127-134 | |
否定素子数限定論理回路における単調論理関数の複雑さ (アルゴリズムと計算の理論) 天野, 一幸; 丸岡, 章 (1998-04) 数理解析研究所講究録, 1041: 71-78 | |
到達可能性判定問題の計算量について(縮約版) (アルゴリズムと計算の理論) 垂井, 淳; 戸田, 誠之助 (1998-04) 数理解析研究所講究録, 1041: 79-86 | |
Towards TCS Concepts for Characterizing Expertise in Learning Systems Validation (Algorithms and Theory of Computing) Grieser, Gunter; Jantke, Klaus P.; Lange, Steffen (1998-04) 数理解析研究所講究録, 1041: 103-110 | |
Learning One-Variable Pattern Languages in Linear Average Time (Algorithms and Theory of Computing) Reischuk, Rudiger; Zeugmann, Thomas (1998-04) 数理解析研究所講究録, 1041: 95-102 | |
計算モデルとしての推論加群系 (アルゴリズムと計算の理論) 山崎, 勇 (1998-04) 数理解析研究所講究録, 1041: 111-118 |