ダウンロード数: 104

このアイテムのファイル:
ファイル 記述 サイズフォーマット 
0556-13.pdf521.94 kBAdobe PDF見る/開く
タイトル: 項書き換えシステムの簡約化戦略について(計算機科学の基礎理論とその応用)
著者: 直井, 徹  KAKEN_name
山下, 雅史  KAKEN_name
茨木, 俊秀  KAKEN_name
本多, 波雄  KAKEN_name
著者名の別形: Naoi, Tohru
Yamashita, Masafumi
Ibaraki, Toshihide
Honda, Namio
発行日: Apr-1985
出版者: 京都大学数理解析研究所
誌名: 数理解析研究所講究録
巻: 556
開始ページ: 151
終了ページ: 162
URI: http://hdl.handle.net/2433/98963
出現コレクション:0556 計算機科学の基礎理論とその応用

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

Export to RefWorks


出力フォーマット 


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