このアイテムのアクセス数: 165

このアイテムのファイル:
ファイル 記述 サイズフォーマット 
1205_20.pdf729.86 kBAdobe PDF見る/開く
完全メタデータレコード
DCフィールド言語
dc.contributor.authorMatsuura, Akihiroen
dc.contributor.authorIwama, Kazuoen
dc.contributor.alternative松浦, 昭洋ja
dc.contributor.alternative岩間, 一雄ja
dc.date.accessioned2007-06-15T06:59:54Z-
dc.date.available2007-06-15T06:59:54Z-
dc.date.issued2001-05-
dc.identifier.issn1880-2818-
dc.identifier.urihttp://hdl.handle.net/2433/41010-
dc.format.extent747380 bytes-
dc.format.mimetypeapplication/pdf-
dc.language.isoeng-
dc.publisher京都大学数理解析研究所ja
dc.subject.ndc410-
dc.titleOn the Complexity of Subproblems of SAT (New Developments of Theory of Computation and Algorithms)en
dc.title.alternativeSATのいくつかの部分問題の複雑さについて (計算理論とアルゴリズムの新展開)ja
dc.typedepartmental bulletin paper-
dc.type.niitypeDepartmental Bulletin Paper-
dc.identifier.ncidAN00061013-
dc.identifier.jtitle数理解析研究所講究録ja
dc.identifier.volume1205-
dc.identifier.spage113-
dc.identifier.epage118-
dc.textversionpublisher-
dc.sortkey20-
dcterms.accessRightsopen access-
出現コレクション:1205 計算理論とアルゴリズムの新展開

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

Export to RefWorks


出力フォーマット 


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