このアイテムのアクセス数: 137

このアイテムのファイル:
ファイル 記述 サイズフォーマット 
1426-20.pdf771.14 kBAdobe PDF見る/開く
タイトル: 弱最内戦略を完全にする項書換え系の等価変換 (計算機科学基礎理論とその応用)
著者: 岡本, 晃治  KAKEN_name
酒井, 正彦  KAKEN_name
西田, 直樹  KAKEN_name
草刈, 圭一朗  KAKEN_name
坂部, 俊樹  KAKEN_name
著者名の別形: Okamoto, Koji
Sakai, Masahiko
Nishida, Naoki
Kusakari, Keiichirou
Sakabe, Toshiki
発行日: Apr-2005
出版者: 京都大学数理解析研究所
誌名: 数理解析研究所講究録
巻: 1426
開始ページ: 119
終了ページ: 125
URI: http://hdl.handle.net/2433/47268
出現コレクション:1426 計算機科学基礎理論とその応用

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

Export to RefWorks


出力フォーマット 


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