1. Kyoto University Research Information Repository
  2. 400　数理解析研究所
  3. 1.講究録
  4. 1832 証明論と複雑性
ダウンロード数: 149

    このアイテムの引用には次の識別子を使用してください: http://hdl.handle.net/2433/194848
このアイテムのファイル:
ファイル 記述 サイズフォーマット 
1832-13.pdf280.41 kBAdobe PDF見る/開く
完全メタデータレコード
DCフィールド値言語
dc.contributor.author山川, 郁加ja
dc.contributor.author古森, 雄一ja
dc.contributor.alternativeYamakawa, Fumikaen
dc.contributor.alternativeKomori, Yuichien
dc.contributor.transcriptionヤマカワ, フミカja
dc.contributor.transcriptionコモリ, ユウイチja
dc.date.accessioned2015-03-03T04:37:30Z-
dc.date.available2015-03-03T04:37:30Z-
dc.date.issued2013-04-
dc.identifier.issn1880-2818-
dc.identifier.urihttp://hdl.handle.net/2433/194848-
dc.format.mimetypeapplication/pdf-
dc.language.isojpn-
dc.publisher京都大学数理解析研究所ja
dc.subject.ndc410-
dc.titleラムダ計算と組み合わせ論理の体系C$lambda$$I_lambda$ (証明論と複雑性)ja
dc.title.transcriptionラムダ ケイサン ト クミアワセ ロンリ ノ タイケイ C$lambda$$I_lambda$ ショウメイロン ト フクザツセイja-Kana
dc.typedepartmental bulletin paper-
dc.type.niitypeDepartmental Bulletin Paper-
dc.identifier.ncidAN00061013-
dc.identifier.jtitle数理解析研究所講究録ja
dc.identifier.volume1832-
dc.identifier.spage135-
dc.identifier.epage138-
dc.textversionpublisher-
dc.sortkey13-
dc.address千葉大学理学研究科基盤理学専攻ja
dc.address千葉大学理学研究科基盤理学専攻ja
dc.address.alternativeDivision of Fundamental Sciences, Graduate School of Science, Chiba Universityen
dc.address.alternativeDivision of Fundamental Sciences, Graduate School of Science, Chiba Universityen
dcterms.accessRightsopen access-
出現コレクション:1832 証明論と複雑性

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

Export to RefWorks


出力フォーマット 


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