このアイテムのアクセス数: 52

このアイテムのファイル:
ファイル 記述 サイズフォーマット 
1915-23.pdf531.08 kBAdobe PDF見る/開く
完全メタデータレコード
DCフィールド言語
dc.contributor.author青戸, 等人ja
dc.contributor.author岩見, 宗弘ja
dc.contributor.alternativeAoto, Takahitoen
dc.contributor.alternativeIwami, Munehiroen
dc.contributor.transcriptionアオト, タカヒトja
dc.contributor.transcriptionイワミ, ムネヒロja
dc.date.accessioned2017-04-27T04:24:58Z-
dc.date.available2017-04-27T04:24:58Z-
dc.date.issued2014-09-
dc.identifier.issn1880-2818-
dc.identifier.urihttp://hdl.handle.net/2433/223293-
dc.format.mimetypeapplication/pdf-
dc.language.isoeng-
dc.publisher京都大学数理解析研究所ja
dc.subject.ndc410-
dc.titleUniform Semi-Unification (Logics, Algebras and Languages in Computer Science)en
dc.typedepartmental bulletin paper-
dc.type.niitypeDepartmental Bulletin Paper-
dc.identifier.ncidAN00061013-
dc.identifier.jtitle数理解析研究所講究録ja
dc.identifier.volume1915-
dc.identifier.spage161-
dc.identifier.epage165-
dc.textversionpublisher-
dc.identifier.artnumKJ00009502819-
dc.sortkey23-
dc.address東北大学電気通信研究所ja
dc.address島根大学総合理工学部ja
dc.address.alternativeRIEC, Tohoku Universityen
dc.address.alternativeInterdisciplinary Faculty of Science and Engineering, Shimane Universityen
dcterms.accessRightsopen access-
出現コレクション:1915 計算機科学における論理・代数・言語

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

Export to RefWorks


出力フォーマット 


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