ダウンロード数: 573

このアイテムのファイル:
ファイル 記述 サイズフォーマット 
D_Tamaki_Suguru.pdfDissertation_全文3.09 MBAdobe PDF見る/開く
yjohk00213.pdfAbstract_要旨191.62 kBAdobe PDF見る/開く
完全メタデータレコード
DCフィールド言語
dc.contributor.advisor岩間, 一雄-
dc.contributor.advisor湯淺, 太一-
dc.contributor.advisor小野寺, 秀俊-
dc.contributor.authorTamaki, Suguruen
dc.contributor.alternative玉置, 卓ja
dc.contributor.transcriptionタマキ, スグルja
dc.date.accessioned2008-12-17T05:41:44Z-
dc.date.available2008-12-17T05:41:44Z-
dc.date.created2006-
dc.date.issued2006-03-23-
dc.identifier.urihttp://hdl.handle.net/2433/68895-
dc.format.mimetypeapplication/pdf-
dc.language.isoeng-
dc.publisher京都大学 (Kyoto University)ja
dc.publisher.alternative京都大学ja
dc.subject.ndc007-
dc.titleImproved Algorithms for CNF Satisfiability Problemsen
dc.title.alternative和積形論理式の充足可能性問題に対するアルゴリズムの改良ja
dc.title.transcriptionワセキケイ ロンリシキ ノ ジュウソク カノウセイ モンダイ ニ タイスル アルゴリズム ノ カイリョウja-Kana
dc.typedoctoral thesis-
dc.type.niitypeThesis or Dissertation-
dc.textversionauthor-
dc.identifier.ndlid000008286411-
dc.description.degreegrantor京都大学ja
dc.description.degreeuniversitycode0048-
dc.description.degreelevel新制・課程博士-
dc.description.degreediscipline博士(情報学)ja
dc.description.degreereportnumber甲第12459号-
dc.description.degreenumber情博第213号-
dc.description.degreekucallnumber新制||情||46(附属図書館)-
dc.description.degreendlcallnumberUT51-2006-J450-
dc.date.granted2006-03-23-
dc.description.degreeaffiliation京都大学大学院情報学研究科通信情報システム専攻-
dc.description.degreeexamcommittee(主査)教授 岩間 一雄, 教授 湯淺 太一, 教授 小野寺 秀俊-
dc.description.degreeprovision学位規則第4条第1項該当-
dc.identifier.selfDOI10.14989/doctor.k12459-
dcterms.accessRightsopen access-
dc.description.degreediscipline-enDoctor of Informaticsen
dc.identifier.degreegrantorID14301-
dc.description.degreegrantor-enKyoto Universityen
dc.description.degreeObjectTypeDFAM-
jpcoar.contributor.TypeSupervisor-
jpcoar.contributor.TypeSupervisor-
jpcoar.contributor.TypeSupervisor-
jpcoar.contributor.Name岩間, 一雄ja
jpcoar.contributor.Name湯淺, 太一ja
jpcoar.contributor.Name小野寺, 秀俊ja
出現コレクション:140 博士(情報学)

アイテムの簡略レコードを表示する

Export to RefWorks


出力フォーマット 


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