WEKO3
アイテム
形式体系に基づく実証明の分析
https://doi.org/10.15119/00000096
https://doi.org/10.15119/00000096065bbc09-73c2-4126-9a39-9d97b1c693eb
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
形式体系に基づく実証明の分析 (136.7 kB)
|
.png)
|
| アイテムタイプ | 紀要論文 / Departmental Bulletin Paper(1) | |||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 公開日 | 2014-03-28 | |||||||||||||||||
| タイトル | ||||||||||||||||||
| タイトル | 形式体系に基づく実証明の分析 | |||||||||||||||||
| 言語 | ja | |||||||||||||||||
| 言語 | ||||||||||||||||||
| 言語 | jpn | |||||||||||||||||
| 資源タイプ | ||||||||||||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_6501 | |||||||||||||||||
| 資源タイプ | departmental bulletin paper | |||||||||||||||||
| ID登録 | ||||||||||||||||||
| ID登録 | 10.15119/00000096 | |||||||||||||||||
| ID登録タイプ | JaLC | |||||||||||||||||
| 著者 |
加藤, あや美
× 加藤, あや美
× 佐々木, 克巳
× KATO, Ayami
× SASAKI, Katsumi
|
|||||||||||||||||
| 書誌情報 |
ja : アカデミア. 情報理工学編 : 南山大学紀要 en : Academia. Information sciences and engineering : journal of the Nanzan Academic Society 巻 12, p. 1-26, 発行日 2012-03-30 |
|||||||||||||||||
| 出版者 | ||||||||||||||||||
| 出版者 | 南山大学 | |||||||||||||||||
| 言語 | ja | |||||||||||||||||
| ISSN | ||||||||||||||||||
| 収録物識別子タイプ | PISSN | |||||||||||||||||
| 収録物識別子 | 21853266 | |||||||||||||||||
| 書誌レコードID | ||||||||||||||||||
| 収録物識別子タイプ | NCID | |||||||||||||||||
| 収録物識別子 | AA12519671 | |||||||||||||||||
| 著者版フラグ | ||||||||||||||||||
| 出版タイプ | VoR | |||||||||||||||||
| 出版タイプResource | http://purl.org/coar/version/c_970fb48d4fbd8a85 | |||||||||||||||||
