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

このアイテムのファイル:
ファイル 記述 サイズフォーマット 
1635-04.pdf854.8 kBAdobe PDF見る/開く
完全メタデータレコード
DCフィールド言語
dc.contributor.author川村, 保敬ja
dc.contributor.author鈴木, 登志雄ja
dc.contributor.alternativeKawamura, Yasutakaen
dc.contributor.alternativeSuzuki, Toshioen
dc.contributor.transcriptionカワムラ, ヤスタカja
dc.contributor.transcriptionスズキ, トシオja
dc.date.accessioned2011-05-19T01:43:29Z-
dc.date.available2011-05-19T01:43:29Z-
dc.date.issued2009-04-
dc.identifier.issn1880-2818-
dc.identifier.urihttp://hdl.handle.net/2433/140465-
dc.format.mimetypeapplication/pdf-
dc.language.isojpn-
dc.publisher京都大学数理解析研究所ja
dc.subject.ndc410-
dc.titleランダムなビット列における連 (証明論と論理・計算の構造)ja
dc.title.transcriptionランダムナ ビットレツ ニオケル レン ショウメイロン ト ロンリ ケイサン ノ コウゾウja-Kana
dc.typedepartmental bulletin paper-
dc.type.niitypeDepartmental Bulletin Paper-
dc.identifier.ncidAN00061013-
dc.identifier.jtitle数理解析研究所講究録ja
dc.identifier.volume1635-
dc.identifier.spage23-
dc.identifier.epage32-
dc.textversionpublisher-
dc.sortkey04-
dc.address首都大学東京理工学研究科数理情報科学専攻ja
dc.address首都大学東京理工学研究科数理情報科学専攻ja
dc.address.alternativeDepartment of Mathematics and Information Sciences, Tokyo Metropolitan Universityen
dc.address.alternativeDepartment of Mathematics and Information Sciences, Tokyo Metropolitan Universityen
dcterms.accessRightsopen access-
出現コレクション:1635 証明論と論理・計算の構造

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

Export to RefWorks


出力フォーマット 


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