ダウンロード数: 147

このアイテムのファイル:
ファイル 記述 サイズフォーマット 
0591-13.pdf1.23 MBAdobe PDF見る/開く
タイトル: ONE-STEP RECURRENT TERMS IN $\lambda - \beta$-CALCULUS(Algorithms : Mathematical Foundations and Applications)
著者: SEKIMOTO, Shoji
HIROKAWA, Sachio
著者名の別形: 関本, 彰次
広川, 佐千男
発行日: May-1986
出版者: 京都大学数理解析研究所
誌名: 数理解析研究所講究録
巻: 591
開始ページ: 121
終了ページ: 137
URI: http://hdl.handle.net/2433/99471
出現コレクション:0591 アルゴリズムの数学的基礎理論とその応用

アイテムの詳細レコードを表示する

Export to RefWorks


出力フォーマット 


このリポジトリに保管されているアイテムはすべて著作権により保護されています。