ダウンロード数: 92

このアイテムのファイル:
ファイル 記述 サイズフォーマット 
0421-8.pdf542.3 kBAdobe PDF見る/開く
完全メタデータレコード
DCフィールド言語
dc.contributor.author鈴木, 一郎ja
dc.contributor.author杉山, 裕二ja
dc.contributor.author谷口, 健一ja
dc.contributor.author嵩, 忠雄ja
dc.contributor.alternativeSUZUKI, ICHIROen
dc.contributor.alternativeSUGIYAMA, YUJIen
dc.contributor.alternativeTANIGUCHI, KENICHIen
dc.contributor.alternativeKASAMI, TADAOen
dc.contributor.transcriptionスズキ, イチロウja
dc.contributor.transcriptionスギヤマ, ユウジja
dc.contributor.transcriptionタニグチ, ケンイチja
dc.contributor.transcriptionカサミ, タダオja
dc.date.accessioned2010-03-05T04:56:47Z-
dc.date.available2010-03-05T04:56:47Z-
dc.date.issued1981-03-
dc.identifier.issn1880-2818-
dc.identifier.urihttp://hdl.handle.net/2433/102548-
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.volume421-
dc.identifier.spage92-
dc.identifier.epage105-
dc.textversionpublisher-
dc.sortkey08-
dc.address大阪大学基礎工学部ja
dc.address大阪大学基礎工学部ja
dc.address大阪大学基礎工学部ja
dc.address大阪大学基礎工学部ja
dcterms.accessRightsopen access-
出現コレクション:0421 数理情報科学の基礎理論と応用

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

Export to RefWorks


出力フォーマット 


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