Access count of this item: 146

Files in This Item:
File Description SizeFormat 
0655-09.pdf1.92 MBAdobe PDFView/Open
Full metadata record
DC FieldValueLanguage
dc.contributor.authorMAEJI, Machija
dc.contributor.authorKANAMORI, Tadashija
dc.contributor.alternative前地, 真知ja
dc.contributor.alternative金森, 直ja
dc.contributor.transcriptionマエジ, マチja
dc.contributor.transcriptionカナモリ, タダシja
dc.date.accessioned2010-03-04T01:30:02Z-
dc.date.available2010-03-04T01:30:02Z-
dc.date.issued1988-04ja
dc.identifier.issn1880-2818ja
dc.identifier.urihttp://hdl.handle.net/2433/100509-
dc.format.mimetypeapplication/pdfja
dc.language.isoengja
dc.publisher京都大学数理解析研究所ja
dc.subjectProgram Diagnosisja
dc.subjectDebuggingja
dc.subjectPrologja
dc.subjectProgram Analysisja
dc.subject.ndc410ja
dc.titleTop-down Zooming Diagnosis of Logic Programsja
dc.type.niitypeDepartmental Bulletin Paperja
dc.identifier.ncidAN00061013ja
dc.identifier.jtitle数理解析研究所講究録ja
dc.identifier.volume655ja
dc.identifier.spage147ja
dc.identifier.epage166ja
dc.textversionpublisherja
dc.sortkey09ja
dc.addressCentral Research Laboratory, Mitsubishi Electric Corporationja
dc.addressCentral Research Laboratory, Mitsubishi Electric Corporationja
Appears in Collections:Mathematical Methods in Software Science and Engineering

Show simple item record

Export to RefWorks


Export Format: 


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