WEKO3
アイテム
Algebraic Abstraction in Formal Methods(形式手法における代数的抽象化)
https://ir.soken.ac.jp/records/6413
https://ir.soken.ac.jp/records/6413e1b532b4-7cca-42b4-b19e-fd03412d7563
名前 / ファイル | ライセンス | アクション |
---|---|---|
要旨・審査要旨/Abstract, Screening Result (1.2 MB)
|
||
本文 / Thesis (2.3 MB)
|
Item type | 学位論文 / Thesis or Dissertation(1) | |||||||
---|---|---|---|---|---|---|---|---|
公開日 | 2021-05-12 | |||||||
タイトル | ||||||||
タイトル | Algebraic Abstraction in Formal Methods(形式手法における代数的抽象化) | |||||||
タイトル | ||||||||
言語 | en | |||||||
タイトル | Algebraic Abstraction in Formal Methods | |||||||
言語 | ||||||||
言語 | eng | |||||||
資源タイプ | ||||||||
資源タイプ識別子 | http://purl.org/coar/resource_type/c_db06 | |||||||
資源タイプ | doctoral thesis | |||||||
アクセス権 | ||||||||
アクセス権 | open access | |||||||
アクセス権URI | http://purl.org/coar/access_right/c_abf2 | |||||||
著者名 |
奥殿, 貴仁
× 奥殿, 貴仁
|
|||||||
フリガナ |
オクドノ, タカマサ
× オクドノ, タカマサ
|
|||||||
著者 |
OKUDONO, Takamasa
× OKUDONO, Takamasa
|
|||||||
学位授与機関 | ||||||||
学位授与機関識別子Scheme | kakenhi | |||||||
学位授与機関識別子 | 12702 | |||||||
学位授与機関名 | 総合研究大学院大学 | |||||||
学位名 | ||||||||
学位名 | 博士(情報学) | |||||||
学位記番号 | ||||||||
内容記述タイプ | Other | |||||||
内容記述 | 総研大甲第2240号 | |||||||
研究科 | ||||||||
値 | 複合科学研究科 | |||||||
専攻 | ||||||||
値 | 17 情報学専攻 | |||||||
学位授与年月日 | ||||||||
学位授与年月日 | 2021-03-24 | |||||||
学位授与年度 | ||||||||
2020 | ||||||||
学位授与番号 | ||||||||
学位授与番号 | 甲第2240号 | |||||||
所蔵 | ||||||||
値 | 無 | |||||||
フォーマット | ||||||||
内容記述タイプ | Other | |||||||
内容記述 | application/pdf | |||||||
著者版フラグ | ||||||||
出版タイプ | VoR | |||||||
出版タイプResource | http://purl.org/coar/version/c_970fb48d4fbd8a85 |