コレクションホームページ
0322 計算機科学の数学的基礎
14
0322 計算機科学の数学的基礎
14
(http://hdl.handle.net/2433/101007)
ブラウズ
文献一覧(目次の昇順ソート): 1 - 14 / 14
書誌情報 | ファイル |
---|---|
表紙・目次 (1978-03) 数理解析研究所講究録, 322 | |
妥当な論理式(1階述語論理)の証明図作成の1つの方法 (計算機科学の数学的基礎) 大芝, 猛; 永田, 周郎; 舟橋, 栄 (1978-03) 数理解析研究所講究録, 322: 1-19 | |
Simple Loop ProgramによるTime Complexityの階層 (計算機科学の数学的基礎) 笠井, 琢美; 足立, 暁生 (1978-03) 数理解析研究所講究録, 322: 20-55 | |
セーフペトリネットによる正規集合の記述の簡潔さについて : 有限オートマトンとの比較 (計算機科学の数学的基礎) 松浦, 敏雄; 杉山, 裕二; 谷口, 健一; 嵩, 忠雄 (1978-03) 数理解析研究所講究録, 322: 56-74 | |
再帰サブルティンにおけるパラメタの数について (計算機科学の数学的基礎) 二木, 厚吉 (1978-03) 数理解析研究所講究録, 322: 75-98 | |
並列プログラム図式に関するいくつかの性質 (計算機科学の数学的基礎) 山下, 雅史; 稲垣, 康善; 本多, 波雄 (1978-03) 数理解析研究所講究録, 322: 99-116 | |
ベル数B(N)の1つの算式 (計算機科学の数学的基礎) 大芝, 猛 (1978-03) 数理解析研究所講究録, 322: 117-123 | |
一階様相述語論理の機械的定理証明について (計算機科学の数学的基礎) 鈴木, 淳之; 中松, 和己 (1978-03) 数理解析研究所講究録, 322: 124-153 | |
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: 194-217 | |
A Note on Algorithms for Tower of Hanoi (計算機科学の数学的基礎) TAKANAMI, ITSUO; INOUE, KATSUSHI (1978-03) 数理解析研究所講究録, 322: 218-229 | |
多段グラフの平面性判定アルゴリズム (計算機科学の数学的基礎) 富井, 規雄; 上林, 弥彦; 矢島, 脩三 (1978-03) 数理解析研究所講究録, 322: 230-263 | |
不成功マッチング処理に適した部分マッチングアルゴリズム (計算機科学の数学的基礎) 上林, 弥彦; 中津, 楢男; 矢島, 脩三 (1978-03) 数理解析研究所講究録, 322: 264-285 |
文献一覧(目次の昇順ソート): 1 - 14 / 14