Access count of this item: 79

Files in This Item:
File Description SizeFormat 
1832-01.pdf99.24 kBAdobe PDFView/Open
Full metadata record
DC FieldValueLanguage
dc.contributor.author垂井, 淳ja
dc.contributor.alternativeTarui, Junja
dc.contributor.transcriptionタルイ, ジュンja
dc.date.accessioned2015-03-03T04:37:36Z-
dc.date.available2015-03-03T04:37:36Z-
dc.date.issued2013-04ja
dc.identifier.issn1880-2818ja
dc.identifier.urihttp://hdl.handle.net/2433/194860-
dc.format.mimetypeapplication/pdfja
dc.language.isojpnja
dc.publisher京都大学数理解析研究所ja
dc.subject.ndc410ja
dc.title計算の複雑さと証明の複雑さ : 基調講演 (証明論と複雑性)ja
dc.title.transcriptionケイサン ノ フクザツサ ト ショウメイ ノ フクザツサ キチョウ コウエン ショウメイロン ト フクザツセイja
dc.type.niitypeDepartmental Bulletin Paperja
dc.identifier.ncidAN00061013ja
dc.identifier.jtitle数理解析研究所講究録ja
dc.identifier.volume1832ja
dc.identifier.spage1ja
dc.identifier.epage1ja
dc.textversionpublisherja
dc.sortkey01ja
dc.address電気通信大学情報理工学研究科ja
dc.address.alternativeUECja
Appears in Collections:Proof theory and complexity

Show simple item record

Export to RefWorks


Export Format: 


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.