ダウンロード数: 118

このアイテムのファイル:
ファイル 記述 サイズフォーマット 
1729-14.pdf299.74 kBAdobe PDF見る/開く
タイトル: Riceの定理のアナロジーについて (形式体系と計算理論)
著者: 吉川, 紘史  KAKEN_name
横山, 啓太  KAKEN_name
著者名の別形: Yoshikawa, Hirofumi
Yokoyama, Keita
発行日: Feb-2011
出版者: 京都大学数理解析研究所
誌名: 数理解析研究所講究録
巻: 1729
開始ページ: 163
終了ページ: 166
URI: http://hdl.handle.net/2433/170540
出現コレクション:1729 形式体系と計算理論

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

Export to RefWorks


出力フォーマット 


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