WEKO3
アイテム
シークエント体系の証明図から実証明を作る方法
https://doi.org/10.15119/00000091
https://doi.org/10.15119/0000009134f5c488-c4a1-4865-90a3-13bfd3f46972
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
シークエント体系の証明図から実証明を作る方法 (280.4 kB)
|
.png)
|
| アイテムタイプ | 紀要論文 / Departmental Bulletin Paper(1) | |||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 公開日 | 2014-03-27 | |||||||||||
| タイトル | ||||||||||||
| タイトル | シークエント体系の証明図から実証明を作る方法 | |||||||||||
| 言語 | ja | |||||||||||
| 言語 | ||||||||||||
| 言語 | jpn | |||||||||||
| 資源タイプ | ||||||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_6501 | |||||||||||
| 資源タイプ | departmental bulletin paper | |||||||||||
| ID登録 | ||||||||||||
| ID登録 | 10.15119/00000091 | |||||||||||
| ID登録タイプ | JaLC | |||||||||||
| 著者 |
佐々木, 克巳
× 佐々木, 克巳
× SASAKI, Katsumi
|
|||||||||||
| 書誌情報 |
ja : アカデミア. 情報理工学編 : 南山大学紀要 en : Academia. Information sciences and engineering : journal of the Nanzan Academic Society 巻 11, p. 35-54, 発行日 2011-03-30 |
|||||||||||
| 出版者 | ||||||||||||
| 出版者 | 南山大学 | |||||||||||
| 言語 | ja | |||||||||||
| ISSN | ||||||||||||
| 収録物識別子タイプ | PISSN | |||||||||||
| 収録物識別子 | 21853266 | |||||||||||
| 書誌レコードID | ||||||||||||
| 収録物識別子タイプ | NCID | |||||||||||
| 収録物識別子 | AA12519671 | |||||||||||
| 著者版フラグ | ||||||||||||
| 出版タイプ | VoR | |||||||||||
| 出版タイプResource | http://purl.org/coar/version/c_970fb48d4fbd8a85 | |||||||||||
