WEKO3
アイテム
Mizar による群の直和分解の形式化
http://hdl.handle.net/10091/00018807
http://hdl.handle.net/10091/000188072417a886-2bf2-4313-903d-cb6c536620f5
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
内容の要旨 (96.3 kB)
|
|
|
|
審査結果の要旨 (160.1 kB)
|
|
|
|
博士論文の全文 (895.5 kB)
|
|
| Item type | 学位論文 / Thesis or Dissertation(1) | |||||
|---|---|---|---|---|---|---|
| 公開日 | 2016-04-26 | |||||
| タイトル | ||||||
| タイトル | Mizar による群の直和分解の形式化 | |||||
| 言語 | ja | |||||
| 言語 | ||||||
| 言語 | jpn | |||||
| 資源タイプ | ||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_db06 | |||||
| 資源タイプ | doctoral thesis | |||||
| アクセス権 | ||||||
| アクセス権 | open access | |||||
| アクセス権URI | http://purl.org/coar/access_right/c_abf2 | |||||
| 著者 |
中正, 和久
× 中正, 和久 |
|||||
| 出版者 | ||||||
| 出版者 | 信州大学 | |||||
| 引用 | ||||||
| 内容記述タイプ | Other | |||||
| 内容記述 | 中正 和久. Mizar による群の直和分解の形式化. 信州大学, 2015, 博士論文. 博士（工学）, 甲第654号, 平成28年03月20日授与. | |||||
| 書誌情報 |
発行日 2016-03-20 |
|||||
| 学位授与番号 | ||||||
| 学位授与番号 | 13601甲第654号 | |||||
| 学位授与年月日 | ||||||
| 学位授与年月日 | 2016-03-20 | |||||
| 学位名 | ||||||
| 学位名 | 博士（工学） | |||||
| 学位授与機関 | ||||||
| 学位授与機関識別子Scheme | kakenhi | |||||
| 学位授与機関識別子 | 13601 | |||||
| 学位授与機関名 | 信州大学(Shinshu university) | |||||
| 学位の区分 | ||||||
| 値 | doctoral | |||||
| 学位の分野 | ||||||
| 値 | 工学 | |||||
| 学位の報告番号 | ||||||
| 値 | 甲第654号 | |||||
| 資源タイプ（コンテンツの種類） | ||||||
| 内容記述タイプ | Other | |||||
| 内容記述 | Thesis | |||||
| 出版タイプ | ||||||
| 出版タイプ | NA | |||||
| 出版タイプResource | http://purl.org/coar/version/c_be7fb7dd8ff6fe43 | |||||
