WEKO3
アイテム
証明図による日本語証明の分析
https://doi.org/10.15119/00003940
https://doi.org/10.15119/000039403eea0888-6e8f-4a53-8b62-b4f7b08fa0dc
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
証明図による日本語証明の分析 (280.4 kB)
|
.png)
|
| アイテムタイプ | 紀要論文 / Departmental Bulletin Paper(1) | |||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 公開日 | 2022-03-28 | |||||||||||||||||
| タイトル | ||||||||||||||||||
| タイトル | 証明図による日本語証明の分析 | |||||||||||||||||
| 言語 | ja | |||||||||||||||||
| 言語 | ||||||||||||||||||
| 言語 | jpn | |||||||||||||||||
| 資源タイプ | ||||||||||||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_6501 | |||||||||||||||||
| 資源タイプ | departmental bulletin paper | |||||||||||||||||
| ID登録 | ||||||||||||||||||
| ID登録 | 10.15119/00003940 | |||||||||||||||||
| ID登録タイプ | JaLC | |||||||||||||||||
| 著者 |
田中, 優祐
× 田中, 優祐
× 佐々木, 克巳
× TANAKA, Yusuke
× SASAKI, Katsumi
|
|||||||||||||||||
| 書誌情報 |
ja : アカデミア. 理工学編 : 南山大学紀要 en : Academia. Sciences and engineering : journal of the Nanzan Academic Society 巻 22, p. 29-45, 発行日 2022-03 |
|||||||||||||||||
| 出版者 | ||||||||||||||||||
| 出版者 | 南山大学 | |||||||||||||||||
| 言語 | ja | |||||||||||||||||
| ISSN | ||||||||||||||||||
| 収録物識別子タイプ | EISSN | |||||||||||||||||
| 収録物識別子 | 2434-4125 | |||||||||||||||||
| 著者版フラグ | ||||||||||||||||||
| 出版タイプ | VoR | |||||||||||||||||
| 出版タイプResource | http://purl.org/coar/version/c_970fb48d4fbd8a85 | |||||||||||||||||
