ダウンロード数: 598
このアイテムのファイル:
ファイル | 記述 | サイズ | フォーマット | |
---|---|---|---|---|
D_Tamaki_Suguru.pdf | Dissertation_全文 | 3.09 MB | Adobe PDF | 見る/開く |
yjohk00213.pdf | Abstract_要旨 | 191.62 kB | Adobe PDF | 見る/開く |
完全メタデータレコード
DCフィールド | 値 | 言語 |
---|---|---|
dc.contributor.advisor | 岩間, 一雄 | - |
dc.contributor.advisor | 湯淺, 太一 | - |
dc.contributor.advisor | 小野寺, 秀俊 | - |
dc.contributor.author | Tamaki, Suguru | en |
dc.contributor.alternative | 玉置, 卓 | ja |
dc.contributor.transcription | タマキ, スグル | ja |
dc.date.accessioned | 2008-12-17T05:41:44Z | - |
dc.date.available | 2008-12-17T05:41:44Z | - |
dc.date.created | 2006 | - |
dc.date.issued | 2006-03-23 | - |
dc.identifier.uri | http://hdl.handle.net/2433/68895 | - |
dc.format.mimetype | application/pdf | - |
dc.language.iso | eng | - |
dc.publisher | 京都大学 (Kyoto University) | ja |
dc.publisher.alternative | 京都大学 | ja |
dc.subject.ndc | 007 | - |
dc.title | Improved Algorithms for CNF Satisfiability Problems | en |
dc.title.alternative | 和積形論理式の充足可能性問題に対するアルゴリズムの改良 | ja |
dc.title.transcription | ワセキケイ ロンリシキ ノ ジュウソク カノウセイ モンダイ ニ タイスル アルゴリズム ノ カイリョウ | ja-Kana |
dc.type | doctoral thesis | - |
dc.type.niitype | Thesis or Dissertation | - |
dc.textversion | author | - |
dc.identifier.ndlid | 000008286411 | - |
dc.description.degreegrantor | 京都大学 | ja |
dc.description.degreeuniversitycode | 0048 | - |
dc.description.degreelevel | 新制・課程博士 | - |
dc.description.degreediscipline | 博士(情報学) | ja |
dc.description.degreereportnumber | 甲第12459号 | - |
dc.description.degreenumber | 情博第213号 | - |
dc.description.degreekucallnumber | 新制||情||46(附属図書館) | - |
dc.description.degreendlcallnumber | UT51-2006-J450 | - |
dc.date.granted | 2006-03-23 | - |
dc.description.degreeaffiliation | 京都大学大学院情報学研究科通信情報システム専攻 | - |
dc.description.degreeexamcommittee | (主査)教授 岩間 一雄, 教授 湯淺 太一, 教授 小野寺 秀俊 | - |
dc.description.degreeprovision | 学位規則第4条第1項該当 | - |
dc.identifier.selfDOI | 10.14989/doctor.k12459 | - |
dcterms.accessRights | open access | - |
dc.description.degreediscipline-en | Doctor of Informatics | en |
dc.identifier.degreegrantorID | 14301 | - |
dc.description.degreegrantor-en | Kyoto University | en |
dc.description.degreeObjectType | DFAM | - |
jpcoar.contributor.Type | Supervisor | - |
jpcoar.contributor.Type | Supervisor | - |
jpcoar.contributor.Type | Supervisor | - |
jpcoar.contributor.Name | 岩間, 一雄 | ja |
jpcoar.contributor.Name | 湯淺, 太一 | ja |
jpcoar.contributor.Name | 小野寺, 秀俊 | ja |
出現コレクション: | 140 博士(情報学) |
このリポジトリに保管されているアイテムはすべて著作権により保護されています。