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

このアイテムのファイル:
ファイル 記述 サイズフォーマット 
0381-10.pdf429.08 kBAdobe PDF見る/開く
タイトル: 制限された1階述語論理のComputational Complexity (計算の複雑性に関する研究)
著者: 岩田, 茂樹  KAKEN_name
笠井, 琢美  KAKEN_name
著者名の別形: IWATA, SHIGEKI
KASAI, TAKUMI
発行日: Apr-1980
出版者: 京都大学数理解析研究所
誌名: 数理解析研究所講究録
巻: 381
開始ページ: 152
終了ページ: 159
URI: http://hdl.handle.net/2433/104814
出現コレクション:0381 計算の複雑性に関する研究

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

Export to RefWorks


出力フォーマット 


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