ダウンロード数: 120

このアイテムのファイル:
ファイル 記述 サイズフォーマット 
1268_21.pdf148.25 kBAdobe PDF見る/開く
タイトル: Algorithmic Analysis of LS-systems : Solving the 3-SAT problems in a logarithmic space (Algorithms in Algebraic Systems and Computation Theory)
著者: Liu, Jian-Qin
Shimohara, Katsunori
著者名の別形: 下原, 勝憲
発行日: Jun-2002
出版者: 京都大学数理解析研究所
誌名: 数理解析研究所講究録
巻: 1268
開始ページ: 155
終了ページ: 155
URI: http://hdl.handle.net/2433/42147
出現コレクション:1268 Algorithms in Algebraic Systems and Computation Theory

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

Export to RefWorks


出力フォーマット 


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