検索
検索条件の追加:
検索条件を追加することで検索結果を絞り込むことができます。
検索結果:
書誌情報 | ファイル |
---|---|
マルチエージェントの知識論理における多様相化した推論の正当性について(アルゴリズムと計算量理論) Mori, Masao (1995-04) 数理解析研究所講究録, 906: 32-38 | |
ジャンケンのトーナメント表現と意味のある拡張(アルゴリズムと計算量理論) 伊藤, 大雄; 永持, 仁 (1995-04) 数理解析研究所講究録, 906: 14-23 | |
A Simple Near Optimal Parallel Algorithm for Recognizing Outerplanar Graphs Nakayama, Shin-ichi; Masuyama, Shigeru (1995-04) 数理解析研究所講究録, 906: 6-13 | |
巡回セールスマン問題(Traveling Salesman Problem)の貪欲アルゴリズムについて(アルゴリズムと計算量理論) 横山, 光一 (1995-04) 数理解析研究所講究録, 906: 24-31 | |
表紙・目次 (1995-04) 数理解析研究所講究録, 906 | |
ファジィ関係代数とその表現定理について(アルゴリズムと計算量理論) 古澤, 仁; 河原, 康雄 (1995-04) 数理解析研究所講究録, 906: 39-46 | |
規則限定Resolutionにより証明可能な命題論理式の複雑さ(アルゴリズムと計算量理論) MIYANO, Eiji; IWAMA, Kazuo (1995-04) 数理解析研究所講究録, 906: 47-54 | |
Circuit Complexity of An Explicity Defined First Slice Function Tsukiji, Tatsuie (1995-04) 数理解析研究所講究録, 906: 81-88 | |
Extension of Synthesis Algorithm of Recursive Processes to $\mu$-calculus Kimura, Shigetomo; Togashi, Atsushi; Shiratori, Norio (1995-04) 数理解析研究所講究録, 906: 146-153 | |
単調並べ換え関数について(アルゴリズムと計算量理論) 神保, 秀司; 佐々木, 宏平; 山本, 佳典; 丸岡, 章 (1995-04) 数理解析研究所講究録, 906: 96-103 |