Access count of this item: 76

Files in This Item:
File Description SizeFormat 
0236-10.pdf831.63 kBAdobe PDFView/Open
Full metadata record
DC FieldValueLanguage
dc.contributor.authorNOSHITA, KOHEIja
dc.contributor.alternative野下, 浩平ja
dc.contributor.transcriptionノシタ, コウヘイja
dc.date.accessioned2010-03-08T08:05:49Z-
dc.date.available2010-03-08T08:05:49Z-
dc.date.issued1975-05ja
dc.identifier.issn1880-2818ja
dc.identifier.urihttp://hdl.handle.net/2433/105503-
dc.format.mimetypeapplication/pdfja
dc.language.isoengja
dc.publisher京都大学数理解析研究所ja
dc.subject.ndc410ja
dc.titleOn Data Structures for Manipulating Graphs and a New Efficient Program of the Dijkstra Method for the Shortest Path Problem (アルゴリズムにおける証明論)ja
dc.type.niitypeDepartmental Bulletin Paperja
dc.identifier.ncidAN00061013ja
dc.identifier.jtitle数理解析研究所講究録ja
dc.identifier.volume236ja
dc.identifier.spage111ja
dc.identifier.epage123ja
dc.textversionpublisherja
dc.sortkey10ja
dc.addressInformation Science Laboratories, University of Tokyoja
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.