Kyoto University Research Information Repository: 検索

DSpace

Kyoto University

検索

検索結果表示: 11-20 / 22.

前
1
2
3
次

検索結果:

書誌情報	ファイル
Horn節集合による計算について (数理情報科学の基礎理論と応用) 石橋, 稔彦; 鈴木, 博; 山崎, 進; 堂下, 修司 (1981-03) 数理解析研究所講究録, 421: 232-246
組合せ論理回路による有限体上の多項式演算の複雑さ (数理情報科学の基礎理論と応用) 安浦, 寛人; 矢島, 脩三 (1981-03) 数理解析研究所講究録, 421: 180-192
論理回路の検査入カ生成アルゴリズムについて (数理情報科学の基礎理論と応用) 佐伯, 俊則; 矢島, 脩三 (1981-03) 数理解析研究所講究録, 421: 193-207
LISPプログラム自動合成の一システム (数理情報科学の基礎理論と応用) 永井, 雅人; 西澤, 輝泰 (1981-03) 数理解析研究所講究録, 421: 268-283
オンライン計算に於ける領域計算量 (数理情報科学の基礎理論と応用) 町田, 元; 笠井, 琢美 (1981-03) 数理解析研究所講究録, 421: 163-179
ユネート関数におけるプライムインプリカントの最大数 (数理情報科学の基礎理論と応用) 岩田, 茂樹 (1981-03) 数理解析研究所講究録, 421: 262-267
自己シャフルに関する判定問題について (数理情報科学の基礎理論と応用) 岩間, 一雄 (1981-03) 数理解析研究所講究録, 421: 218-231
時間を入れたブール代数の公理系 (数理情報科学の基礎理論と応用) 高橋, 英之 (1981-03) 数理解析研究所講究録, 421: 247-261
オートマトンのクラスのデカルト合成 (数理情報科学の基礎理論と応用) 伊藤, 正美; 田中, 源次郎 (1981-03) 数理解析研究所講究録, 421: 1-14
A Move Problem on Weighted Digraphs (数理情報科学の基礎理論と応用) NARUSHIMA, HIROSHI (1981-03) 数理解析研究所講究録, 421: 30-35