コレクションホームページ

0322 計算機科学の数学的基礎   14
(http://hdl.handle.net/2433/101007)

ブラウズ
文献一覧(目次の昇順ソート): 1 - 14 / 14
書誌情報ファイル
表紙・目次
   (1978-03)
  数理解析研究所講究録, 322
file type icon
妥当な論理式(1階述語論理)の証明図作成の1つの方法 (計算機科学の数学的基礎)
  大芝, 猛; 永田, 周郎; 舟橋, 栄 (1978-03)
  数理解析研究所講究録, 322: 1-19
file type icon
Simple Loop ProgramによるTime Complexityの階層 (計算機科学の数学的基礎)
  笠井, 琢美; 足立, 暁生 (1978-03)
  数理解析研究所講究録, 322: 20-55
file type icon
セーフペトリネットによる正規集合の記述の簡潔さについて : 有限オートマトンとの比較 (計算機科学の数学的基礎)
  松浦, 敏雄; 杉山, 裕二; 谷口, 健一; 嵩, 忠雄 (1978-03)
  数理解析研究所講究録, 322: 56-74
file type icon
再帰サブルティンにおけるパラメタの数について (計算機科学の数学的基礎)
  二木, 厚吉 (1978-03)
  数理解析研究所講究録, 322: 75-98
file type icon
並列プログラム図式に関するいくつかの性質 (計算機科学の数学的基礎)
  山下, 雅史; 稲垣, 康善; 本多, 波雄 (1978-03)
  数理解析研究所講究録, 322: 99-116
file type icon
ベル数B(N)の1つの算式 (計算機科学の数学的基礎)
  大芝, 猛 (1978-03)
  数理解析研究所講究録, 322: 117-123
file type icon
一階様相述語論理の機械的定理証明について (計算機科学の数学的基礎)
  鈴木, 淳之; 中松, 和己 (1978-03)
  数理解析研究所講究録, 322: 124-153
file type icon
On resolution layered with input resolutions
  YAMASAKI, SUSUMU; MURAKI, KAZUNORI; ASHIYA, TETSUSHI; DOSHITA, SHUJI (1978-03)
  数理解析研究所講究録, 322: 154-177
file type icon
自己診断システムにおけるネットワーク構造と計算複雑さの関係 (計算機科学の数学的基礎)
  阿江, 忠; 大崎, 重義 (1978-03)
  数理解析研究所講究録, 322: 178-193
file type icon
プロテクションシステムのセキュリティ判定問題 (計算機科学の数学的基礎)
  菊野, 亨; 今川, 隆則 (1978-03)
  数理解析研究所講究録, 322: 194-217
file type icon
A Note on Algorithms for Tower of Hanoi (計算機科学の数学的基礎)
  TAKANAMI, ITSUO; INOUE, KATSUSHI (1978-03)
  数理解析研究所講究録, 322: 218-229
file type icon
多段グラフの平面性判定アルゴリズム (計算機科学の数学的基礎)
  富井, 規雄; 上林, 弥彦; 矢島, 脩三 (1978-03)
  数理解析研究所講究録, 322: 230-263
file type icon
不成功マッチング処理に適した部分マッチングアルゴリズム (計算機科学の数学的基礎)
  上林, 弥彦; 中津, 楢男; 矢島, 脩三 (1978-03)
  数理解析研究所講究録, 322: 264-285
file type icon
文献一覧(目次の昇順ソート): 1 - 14 / 14