Access count of this item: 64

Files in This Item:
File Description SizeFormat 
0906-18.pdf276.78 kBAdobe PDFView/Open
Full metadata record
DC FieldValueLanguage
dc.contributor.author大芝, 猛ja
dc.contributor.author小橋, 一秀ja
dc.contributor.alternativeOSHIBA, Takeshija
dc.contributor.alternativeKOBASHI, Kazuhideja
dc.contributor.transcriptionオオシバ, タケシja
dc.contributor.transcriptionコバシ, カズヒデja
dc.date.accessioned2008-07-09T00:07:51Z-
dc.date.available2008-07-09T00:07:51Z-
dc.date.issued1995-04ja
dc.identifier.issn1880-2818ja
dc.identifier.urihttp://hdl.handle.net/2433/59451-
dc.format.mimetypeapplication/pdfja
dc.language.isojpnja
dc.publisher京都大学数理解析研究所ja
dc.subject.ndc410ja
dc.title知識命題の標準形を用いる妥当性検証(アルゴリズムと計算量理論)ja
dc.type.niitypeDepartmental Bulletin Paperja
dc.identifier.ncidAN00061013ja
dc.identifier.jtitle数理解析研究所講究録ja
dc.identifier.volume906ja
dc.identifier.spage132ja
dc.identifier.epage137ja
dc.textversionpublisherja
dc.sortkey18ja
dc.address名古屋工業大学ja
dc.address名古屋工業大学ja
Appears in Collections:0906 アルゴリズムと計算量理論

Show simple item record

Export to RefWorks


Export Format: 


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