1. Kyoto University Research Information Repository
  2. 400　数理解析研究所
  3. 1.講究録
  4. 0918 書き換えシステムの理論とその応用
ダウンロード数: 121

    このアイテムの引用には次の識別子を使用してください: http://hdl.handle.net/2433/59678
このアイテムのファイル:
ファイル 記述 サイズフォーマット 
0918-5.pdf873.8 kBAdobe PDF見る/開く
完全メタデータレコード
DCフィールド値言語
dc.contributor.authorNOTO, Masatoen
dc.contributor.authorKURIHARA, Masahitoen
dc.contributor.authorOHUCHI, Azumaen
dc.date.accessioned2008-07-09T00:14:46Z-
dc.date.available2008-07-09T00:14:46Z-
dc.date.issued1995-08-
dc.identifier.issn1880-2818-
dc.identifier.urihttp://hdl.handle.net/2433/59678-
dc.format.mimetypeapplication/pdf-
dc.language.isoeng-
dc.publisher京都大学数理解析研究所ja
dc.subject.ndc410-
dc.titleAnalysis of Completeness of Laboratory Assignment Algorithm by Rewrite Systems Theory(Theory of Rewriting Systems and Its Applications)en
dc.typedepartmental bulletin paper-
dc.type.niitypeDepartmental Bulletin Paper-
dc.identifier.ncidAN00061013-
dc.identifier.jtitle数理解析研究所講究録ja
dc.identifier.volume918-
dc.identifier.spage48-
dc.identifier.epage57-
dc.textversionpublisher-
dc.sortkey05-
dc.addressInstitute of Systems and Information Engineering, Faculty of Engineering, Hokkaido Universityen
dc.addressInstitute of Systems and Information Engineering, Faculty of Engineering, Hokkaido Universityen
dc.addressInstitute of Systems and Information Engineering, Faculty of Engineering, Hokkaido Universityen
dcterms.accessRightsopen access-
出現コレクション:0918 書き換えシステムの理論とその応用

アイテムの簡略レコードを表示する

Export to RefWorks


出力フォーマット 


このリポジトリに保管されているアイテムはすべて著作権により保護されています。