ダウンロード数: 107

このアイテムのファイル:
ファイル 記述 サイズフォーマット 
0666-16.pdf1.08 MBAdobe PDF見る/開く
タイトル: 相殺公理のための完全な推論体系(計算アルゴリズムと計算量の基礎理論)
著者: 坂井, 公  KAKEN_name
著者名の別形: Hsiang, Jieh
Rusinowitch, Michael
発行日: Jul-1988
出版者: 京都大学数理解析研究所
誌名: 数理解析研究所講究録
巻: 666
開始ページ: 145
終了ページ: 157
URI: http://hdl.handle.net/2433/100675
出現コレクション:0666 計算アルゴリズムと計算量の基礎理論

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

Export to RefWorks


出力フォーマット 


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