検索
検索条件の追加:
検索条件を追加することで検索結果を絞り込むことができます。
検索結果:
書誌情報 | ファイル |
---|---|
The Temporal Semantics of Logic Programming Yonezaki, Naoki (1984-02) 数理解析研究所講究録, 511: 242-258 | |
S-bases of Boolean Functions Under Several Functional Constructions : A Survey Miyakawa, Masahiro; Stojmenovic, Ivan; Tosic, Ratko; Mishima, Taketoshi (1989-06) 数理解析研究所講究録, 695: 85-97 | |
確率的多項式時間アルゴリズムの能力について(計算アルゴリズムと計算量の基礎理論) 戸田, 誠之助 (1989-06) 数理解析研究所講究録, 695: 198-204 | |
部分観測可能なセミマルコフ決定問題について(計画数学とその関連分野) 中井, 達 (1989-02) 数理解析研究所講究録, 680: 174-182 | |
Algebraic structure of the group of p-permutations on tally sets : Extended Abstract Nishino, Tetsuro (1989-06) 数理解析研究所講究録, 695: 155-161 | |
Grammars on the hexagonal array Aizawa, Kunio (1989-06) 数理解析研究所講究録, 695: 1-10 | |
Harmonic Mapに対する収束定理(非線形楕円型偏微分方程式の解) 高桑, 昇一郎 (1989-02) 数理解析研究所講究録, 679: 240-249 | |
On algebraic extensions of the nonstandard rational number field YASUMOTO, MASAHIRO (1989-08) 数理解析研究所講究録, 701: 72-77 | |
Boolean Grobner Bases Sakai, Ko; Sato, Yosuke (1988-07) 数理解析研究所講究録, 666: 29-40 | |
The Complexity of Topological Sorting Algorithms Shoudai, Takayoshi (1989-06) 数理解析研究所講究録, 695: 169-177 |