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

このアイテムのファイル:
ファイル 記述 サイズフォーマット 
0927-9.pdf856.8 kBAdobe PDF見る/開く
完全メタデータレコード
DCフィールド言語
dc.contributor.authorShirahata, Masaruen
dc.contributor.alternative白旗, 優ja
dc.contributor.transcriptionシラハタ, マサルja
dc.date.accessioned2008-07-09T01:58:10Z-
dc.date.available2008-07-09T01:58:10Z-
dc.date.issued1995-11-
dc.identifier.issn1880-2818-
dc.identifier.urihttp://hdl.handle.net/2433/59911-
dc.format.mimetypeapplication/pdf-
dc.language.isoeng-
dc.publisher京都大学数理解析研究所ja
dc.subject.ndc410-
dc.titleTwo simple models for linear set theory(Non-Classical Logics and Their Kripke Semantics)en
dc.typedepartmental bulletin paper-
dc.type.niitypeDepartmental Bulletin Paper-
dc.identifier.ncidAN00061013-
dc.identifier.jtitle数理解析研究所講究録ja
dc.identifier.volume927-
dc.identifier.spage116-
dc.identifier.epage126-
dc.textversionpublisher-
dc.sortkey09-
dc.addressSchool of Information Science, Japan Advanced Institute of Science and Technologyen
dcterms.accessRightsopen access-
出現コレクション:0927 非古典論理とそのKripke意味論に関する諸問題

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

Export to RefWorks


出力フォーマット 


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