1. Kyoto University Research Information Repository
  2. 400　数理解析研究所
  3. 1.講究録
  4. 0556 計算機科学の基礎理論とその応用
ダウンロード数: 103

    このアイテムの引用には次の識別子を使用してください: http://hdl.handle.net/2433/98948
このアイテムのファイル:
ファイル 記述 サイズフォーマット 
0556-28.pdf819.2 kBAdobe PDF見る/開く
完全メタデータレコード
DCフィールド値言語
dc.contributor.author岩沼, 宏治ja
dc.contributor.author原尾, 政輝ja
dc.contributor.author野口, 正一ja
dc.contributor.alternativeIWANUMA, Kojien
dc.contributor.alternativeHARAO, Masateruen
dc.contributor.alternativeNOGUTI, Syoichien
dc.contributor.transcriptionイワヌマ, コウジja
dc.contributor.transcriptionハラオ, マサテルja
dc.contributor.transcriptionノグチ, ショウイチja
dc.date.accessioned2010-03-03T05:02:36Z-
dc.date.available2010-03-03T05:02:36Z-
dc.date.issued1985-04-
dc.identifier.issn1880-2818-
dc.identifier.urihttp://hdl.handle.net/2433/98948-
dc.format.mimetypeapplication/pdf-
dc.language.isojpn-
dc.publisher京都大学数理解析研究所ja
dc.subject.ndc410-
dc.title時空間様相論理ETSLの完全・無矛盾な公理系(計算機科学の基礎理論とその応用)ja
dc.title.transcriptionジクウカン ヨウソウ ロンリ ETSL ノ カンゼン ムムジュン ナ コウリケイ ケイサンキ カガク ノ キソ リロン ト ソノ オウヨウja-Kana
dc.typedepartmental bulletin paper-
dc.type.niitypeDepartmental Bulletin Paper-
dc.identifier.ncidAN00061013-
dc.identifier.jtitle数理解析研究所講究録ja
dc.identifier.volume556-
dc.identifier.spage306-
dc.identifier.epage318-
dc.textversionpublisher-
dc.sortkey28-
dc.address東北大学電気通信研究所ja
dc.address山形大学工学部ja
dc.address東北大学電気通信研究所ja
dc.address.alternativeResearch Institute of Electrical Communication, TOHOKU Universityen
dc.address.alternativeFaculty of Engineering, YAMAGATA Universityen
dc.address.alternativeResearch Institute of Electrical Communication, TOHOKU Universityen
dcterms.accessRightsopen access-
出現コレクション:0556 計算機科学の基礎理論とその応用

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

Export to RefWorks


出力フォーマット 


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