ダウンロード数: 124

このアイテムのファイル:
ファイル 記述 サイズフォーマット 
1093-19.pdf816.63 kBAdobe PDF見る/開く
タイトル: Extended Reversible言語とその正例からの多項式時間帰納推論 (計算モデルとアルゴリズム)
著者: 植村, 仁  KAKEN_name
佐藤, 優子  KAKEN_name
著者名の別形: Uemura, Jin
Sato, Masako
発行日: Apr-1999
出版者: 京都大学数理解析研究所
誌名: 数理解析研究所講究録
巻: 1093
開始ページ: 105
終了ページ: 110
URI: http://hdl.handle.net/2433/62964
出現コレクション:1093 計算モデルとアルゴリズム

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

Export to RefWorks


出力フォーマット 


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