ダウンロード数: 70

このアイテムのファイル:
ファイル 記述 サイズフォーマット 
1941-11.pdf869.04 kBAdobe PDF見る/開く
完全メタデータレコード
DCフィールド言語
dc.contributor.author尾前, 貴則ja
dc.contributor.author草刈, 圭一朗ja
dc.contributor.author山田, 晃久ja
dc.contributor.author坂部, 俊樹ja
dc.contributor.alternativeOmae, Takanorien
dc.contributor.alternativeKusakari, Keiichirouen
dc.contributor.alternativeYamada, Akihisaen
dc.contributor.alternativeSakabe, Toshikien
dc.contributor.transcriptionオマエ, タカノリja
dc.contributor.transcriptionクサカリ, ケイイチロウja
dc.contributor.transcriptionヤマダ, アキヒサja
dc.contributor.transcriptionサカベ, トシキja
dc.date.accessioned2017-04-27T06:37:16Z-
dc.date.available2017-04-27T06:37:16Z-
dc.date.issued2015-04-
dc.identifier.issn1880-2818-
dc.identifier.urihttp://hdl.handle.net/2433/223799-
dc.format.mimetypeapplication/pdf-
dc.language.isojpn-
dc.publisher京都大学数理解析研究所ja
dc.subject.ndc410-
dc.title項書換え系の停止性証明のための重み付き経路順序の抽象化 (計算理論とアルゴリズムの新潮流)ja
dc.title.transcriptionコウ カキカエケイ ノ テイシセイ ショウメイ ノ タメ ノ オモミツキ ケイロ ジュンジョ ノ チュウショウカ ケイサン リロン ト アルゴリズム ノ シンチョウリュウja-Kana
dc.typedepartmental bulletin paper-
dc.type.niitypeDepartmental Bulletin Paper-
dc.identifier.ncidAN00061013-
dc.identifier.jtitle数理解析研究所講究録ja
dc.identifier.volume1941-
dc.identifier.spage66-
dc.identifier.epage73-
dc.textversionpublisher-
dc.identifier.artnumKJ00009803689-
dc.sortkey11-
dc.address名古屋大学大学院情報科学研究科ja
dc.address岐阜大学工学部ja
dc.address独立行政法人産業技術総合研究所ja
dc.address名古屋大学大学院情報科学研究科ja
dcterms.accessRightsopen access-
出現コレクション:1941 計算理論とアルゴリズムの新潮流

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

Export to RefWorks


出力フォーマット 


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