ダウンロード数: 524
このアイテムのファイル:
ファイル | 記述 | サイズ | フォーマット | |
---|---|---|---|---|
D_Sato_Masahiko.pdf | Dissertation_全文 | 1.52 MB | Adobe PDF | 見る/開く |
yrigr00562.pdf | Abstract_要旨 | 206.43 kB | Adobe PDF | 見る/開く |
完全メタデータレコード
DCフィールド | 値 | 言語 |
---|---|---|
dc.contributor.advisor | 一松, 信 | - |
dc.contributor.advisor | 高須, 達 | - |
dc.contributor.advisor | 佐藤, 幹夫 | - |
dc.contributor.author | Sato, Masahiko | en |
dc.contributor.alternative | 佐藤, 雅彦 | ja |
dc.contributor.transcription | サトウ, マサヒコ | ja-Kana |
dc.date.accessioned | 2009-11-02T08:06:26Z | - |
dc.date.available | 2009-11-02T08:06:26Z | - |
dc.date.created | 1976-07 | - |
dc.date.issued | 1977-03-23 | - |
dc.identifier.uri | http://hdl.handle.net/2433/86526 | - |
dc.format.mimetype | application/pdf | - |
dc.language.iso | eng | - |
dc.publisher | 京都大学 (Kyoto University) | ja |
dc.publisher.alternative | 京都大学 | ja |
dc.subject.ndc | 400 | - |
dc.title | A Study of Kripke-type models for some model logics by Gentzen's sequential method | en |
dc.title.alternative | いくつかの様相論理に対するクリプケ模型のゲンツェンシークェント法による研究 | ja |
dc.title.transcription | イクツカ ノ ヨウソウ ロンリ ニ タイスル クリプケ モケイ ノ ゲンツェン シークエントホウ ニ ヨル ケンキュウ | ja-Kana |
dc.type | doctoral thesis | - |
dc.type.niitype | Thesis or Dissertation | - |
dc.textversion | author | - |
dc.identifier.ndlid | 000007726268 | - |
dc.description.degreegrantor | 京都大学 | ja |
dc.description.degreeuniversitycode | 0048 | - |
dc.description.degreelevel | 新制・論文博士 | - |
dc.description.degreediscipline | 理学博士 | ja |
dc.description.degreereportnumber | 乙第3264号 | - |
dc.description.degreenumber | 論理博第562号 | - |
dc.description.degreekucallnumber | 新制||理||244(附属図書館) | - |
dc.description.degreendlcallnumber | UT51-52-L81 | - |
dc.date.granted | 1977-03-23 | - |
dc.description.degreeexamcommittee | (主査)教授 一松 信, 教授 高須 達, 教授 佐藤 幹夫 | - |
dc.description.degreeprovision | 学位規則第5条第2項該当 | - |
dc.identifier.selfDOI | 10.14989/doctor.r3264 | - |
dcterms.accessRights | open access | - |
dc.identifier.degreegrantorID | 14301 | - |
dc.description.degreegrantor-en | Kyoto University | en |
dc.description.degreeObjectType | DFAM | - |
jpcoar.contributor.Type | Supervisor | - |
jpcoar.contributor.Type | Supervisor | - |
jpcoar.contributor.Type | Supervisor | - |
jpcoar.contributor.Name | 一松, 信 | ja |
jpcoar.contributor.Name | 高須, 達 | ja |
jpcoar.contributor.Name | 佐藤, 幹夫 | ja |
出現コレクション: | 050 博士(理学) |
このリポジトリに保管されているアイテムはすべて著作権により保護されています。