ダウンロード数: 104
このアイテムのファイル:
| ファイル | 記述 | サイズ | フォーマット | |
|---|---|---|---|---|
| yjohk00062.pdf | Abstract_要旨 | 215.85 kB | Adobe PDF | 見る/開く |
| タイトル: | Combinatorial Structures in Finite Automata, CNF Satisfiability and Arithmetic Computation |
| その他のタイトル: | 有限オートマトン,CNF論理式の充足可能性問題,算術計算に現れる組合せ的構造 |
| 著者: | Matsuura, Akihiro |
| 著者名の別形: | 松浦, 昭洋 |
| 発行日: | 25-Nov-2002 |
| 出版者: | 京都大学 (Kyoto University) |
| 学位授与大学: | 京都大学 |
| 学位の種類: | 新制・課程博士 |
| 取得分野: | 博士(情報学) |
| 報告番号: | 甲第9847号 |
| 学位記番号: | 情博第62号 |
| 学位授与年月日: | 2002-11-25 |
| 請求記号: | 新制||情||16(附属図書館) |
| 研究科・専攻: | 京都大学大学院情報学研究科通信情報システム専攻 |
| 論文調査委員: | (主査)教授 岩間 一雄, 教授 富田 眞治, 教授 湯淺 太一 |
| 学位授与の要件: | 学位規則第4条第1項該当 |
| URI: | http://hdl.handle.net/2433/149387 |
| 出現コレクション: | 140 博士(情報学) |
このリポジトリに保管されているアイテムはすべて著作権により保護されています。