ダウンロード数: 162

このアイテムのファイル:
ファイル 記述 サイズフォーマット 
1096-4.pdf1.62 MBAdobe PDF見る/開く
タイトル: COMPLEXITY THEORY AND BOUNDED ARITHMETIC FOR TRULY FEASIBLE COMPUTATION
著者: Kuroda, Satoru
著者名の別形: 黒田, 覚
発行日: Apr-1999
出版者: 京都大学数理解析研究所
誌名: 数理解析研究所講究録
巻: 1096
開始ページ: 35
終了ページ: 50
URI: http://hdl.handle.net/2433/63004
MR Number: 1752492
出現コレクション:1096 2階算術の諸体系の研究

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

Export to RefWorks


出力フォーマット 


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