検索
検索条件の追加:
検索条件を追加することで検索結果を絞り込むことができます。
検索結果:
| 書誌情報 | ファイル |
|---|---|
| セーフペトリネットによる正規集合の記述の簡潔さについて : 有限オートマトンとの比較 (計算機科学の数学的基礎) 松浦, 敏雄; 杉山, 裕二; 谷口, 健一; 嵩, 忠雄 (1978-03) 数理解析研究所講究録, 322: 56-74 |  |
| 不成功マッチング処理に適した部分マッチングアルゴリズム (計算機科学の数学的基礎) 上林, 弥彦; 中津, 楢男; 矢島, 脩三 (1978-03) 数理解析研究所講究録, 322: 264-285 | |
| 妥当な論理式(1階述語論理)の証明図作成の1つの方法 (計算機科学の数学的基礎) 大芝, 猛; 永田, 周郎; 舟橋, 栄 (1978-03) 数理解析研究所講究録, 322: 1-19 | |
| Simple Loop ProgramによるTime Complexityの階層 (計算機科学の数学的基礎) 笠井, 琢美; 足立, 暁生 (1978-03) 数理解析研究所講究録, 322: 20-55 | |
| 再帰サブルティンにおけるパラメタの数について (計算機科学の数学的基礎) 二木, 厚吉 (1978-03) 数理解析研究所講究録, 322: 75-98 | |
| 並列プログラム図式に関するいくつかの性質 (計算機科学の数学的基礎) 山下, 雅史; 稲垣, 康善; 本多, 波雄 (1978-03) 数理解析研究所講究録, 322: 99-116 | |
| ベル数B(N)の1つの算式 (計算機科学の数学的基礎) 大芝, 猛 (1978-03) 数理解析研究所講究録, 322: 117-123 | |
| On resolution layered with input resolutions YAMASAKI, SUSUMU; MURAKI, KAZUNORI; ASHIYA, TETSUSHI; DOSHITA, SHUJI (1978-03) 数理解析研究所講究録, 322: 154-177 | |
| 自己診断システムにおけるネットワーク構造と計算複雑さの関係 (計算機科学の数学的基礎) 阿江, 忠; 大崎, 重義 (1978-03) 数理解析研究所講究録, 322: 178-193 | |
| 一階様相述語論理の機械的定理証明について (計算機科学の数学的基礎) 鈴木, 淳之; 中松, 和己 (1978-03) 数理解析研究所講究録, 322: 124-153 | |