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

このアイテムのファイル:
ファイル 記述 サイズフォーマット 
1554-01.pdf839.63 kBAdobe PDF見る/開く
完全メタデータレコード
DCフィールド言語
dc.contributor.author桑原, 寛明ja
dc.contributor.author結縁, 祥治ja
dc.contributor.author阿草, 清滋ja
dc.contributor.alternativeKuwabara, Hiroakien
dc.contributor.alternativeYuen, Shojien
dc.contributor.alternativeAgusa, Kiyoshien
dc.contributor.transcriptionクワバラ, ヒロアキja
dc.contributor.transcriptionユウエン, ショウジja
dc.contributor.transcriptionアグサ, キヨシja
dc.date.accessioned2009-07-23T23:49:21Z-
dc.date.available2009-07-23T23:49:21Z-
dc.date.issued2007-05-
dc.identifier.issn1880-2818-
dc.identifier.urihttp://hdl.handle.net/2433/80979-
dc.format.mimetypeapplication/pdf-
dc.language.isojpn-
dc.publisher京都大学数理解析研究所ja
dc.subject.ndc410-
dc.title時間付きπ計算における有限プロセスの時間動作抽象化(計算機科学の理論とその応用)ja
dc.title.transcriptionジカン ツキ $\pi$ ケイサン ニ オケル ユウゲン プロセス ノ ジカン ドウサ チュウショウカ ケイサンキ カガク ノ リロン ト ソノ オウヨウja-Kana
dc.typedepartmental bulletin paper-
dc.type.niitypeDepartmental Bulletin Paper-
dc.identifier.ncidAN00061013-
dc.identifier.jtitle数理解析研究所講究録ja
dc.identifier.volume1554-
dc.identifier.spage1-
dc.identifier.epage8-
dc.textversionpublisher-
dc.sortkey01-
dc.address立命館大学情報理工学部ja
dc.address名古屋大学大学院情報科学研究科ja
dc.address名古屋大学大学院情報科学研究科ja
dcterms.accessRightsopen access-
出現コレクション:1554 計算機科学の理論とその応用

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

Export to RefWorks


出力フォーマット 


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