ダウンロード数: 174

このアイテムのファイル:
ファイル 記述 サイズフォーマット 
1041-23.pdf968.74 kBAdobe PDF見る/開く
タイトル: 書き替えシステムで生成される族の推論 (アルゴリズムと計算の理論)
著者: 山植, 育代  KAKEN_name
向内, 康人  KAKEN_name
佐藤, 優子  KAKEN_name
著者名の別形: Yamaue, Ikuyo
Mukouchi, Yasuhito
Sato, Masako
発行日: Apr-1998
出版者: 京都大学数理解析研究所
誌名: 数理解析研究所講究録
巻: 1041
開始ページ: 159
終了ページ: 166
URI: http://hdl.handle.net/2433/62058
出現コレクション:1041 アルゴリズムと計算の理論

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

Export to RefWorks


出力フォーマット 


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