Access count of this item: 53

Files in This Item:
File Description SizeFormat 
0236-14.pdf737.75 kBAdobe PDFView/Open
Full metadata record
DC FieldValueLanguage
dc.contributor.authorSONOBE, OSAMUja
dc.contributor.alternative園部, おさむja
dc.contributor.transcriptionソノベ, オサムja
dc.date.accessioned2010-03-08T08:05:44Z-
dc.date.available2010-03-08T08:05:44Z-
dc.date.issued1975-05ja
dc.identifier.issn1880-2818ja
dc.identifier.urihttp://hdl.handle.net/2433/105499-
dc.format.mimetypeapplication/pdfja
dc.language.isoengja
dc.publisher京都大学数理解析研究所ja
dc.subject.ndc410ja
dc.titleBi-Relational Frameworks for Minimal and Intuitionistic Logics (アルゴリズムにおける証明論)ja
dc.type.niitypeDepartmental Bulletin Paperja
dc.identifier.ncidAN00061013ja
dc.identifier.jtitle数理解析研究所講究録ja
dc.identifier.volume236ja
dc.identifier.spage174ja
dc.identifier.epage189ja
dc.textversionpublisherja
dc.sortkey14ja
dc.addressTokyo Institute of Technologyja
dc.address.alternative東京工業大学ja
Appears in Collections:Proof Theory in Algorithms

Show simple item record

Export to RefWorks


Export Format: 


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