ダウンロード数: 92

このアイテムのファイル:
ファイル 記述 サイズフォーマット 
0270-16.pdf461.42 kBAdobe PDF見る/開く
タイトル: 拡張された2-充足可能性判定問題について (オートマトン理論および言語理論の新展開)
著者: 菊野, 亨  KAKEN_name
中村, 昭  KAKEN_name
著者名の別形: KIKUNO, TORU
NAKAMURA, AKIRA
発行日: Apr-1976
出版者: 京都大学数理解析研究所
誌名: 数理解析研究所講究録
巻: 270
開始ページ: 134
終了ページ: 141
URI: http://hdl.handle.net/2433/105904
出現コレクション:0270 オートマトン理論および言語理論の新展開

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

Export to RefWorks


出力フォーマット 


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