Kyoto University Research Information Repository: 検索

DSpace

Kyoto University

検索

検索対象:
検索語

適用済条件:

検索をやり直す

検索条件の追加:

検索結果表示: 21-30 / 407.

前
1
2
3
4
5
6
...
41
次

検索結果:

書誌情報	ファイル
One-Step Recurrent Term in $\lambda$-Calculus (形式言語理論とオートマトン理論) HIROKAWA, SACHIO (1982-05) 数理解析研究所講究録, 458: 231-236
Adaの待ち合わせの標準形について(同期の数理) 石畑, 清; 筧, 捷彦 (1982-10) 数理解析研究所講究録, 470: 14-28
A Look at Algebraic Specifications (Mathematical Studies of Information Processing) ZILLS, STEPHEN N. (1982-04) 数理解析研究所講究録, 454: 172-194
学術情報センターシステム,広島大学データベースシステム及びその中での数学学術情報システム (数学分野の学術情報体系) 池田, 秀人; 二神, かほる (1982-02) 数理解析研究所講究録, 448: 42-55
統計解析のためのDBMSの追加機能について (数学分野の学術情報体系) 小林, 康幸; 池田, 秀人 (1982-02) 数理解析研究所講究録, 448: 56-68
ある会話型数式処理言語の開発 (数学分野の学術情報体系) 大友, 正英; 池田, 秀人 (1982-02) 数理解析研究所講究録, 448: 69-75
Tor Gives the Inverse to the Hilbert Function of a Graded Algebra(Topics in Algebra) Sweedler, Moss E. (1982-12) 数理解析研究所講究録, 473: 117-125
Flatness and Some Elementary Concepts for Modules(Topics in Algebra) Sweedler, Moss E. (1982-12) 数理解析研究所講究録, 473: 1-11
燃焼波の定常解の存在条件と非定常相似解 (流体力学における非定常問題) 丹生, 慶四郎; 安部, 隆士; 丹波, 護武 (1982-02) 数理解析研究所講究録, 449: 209-216
非定常Navier-Stokes方程式に対する有限要素法の数学的考察 (流体力学における非定常問題) 藤田, 宏; 岡本, 久 (1982-02) 数理解析研究所講究録, 449: 102-118