WEKO3
アイテム
ε-N論法における変数に代入すべき項の選択方法
https://doi.org/10.15119/00000097
https://doi.org/10.15119/00000097ab56991b-75cd-4fdd-8235-d2f522537ab2
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
|
|
| アイテムタイプ | 紀要論文 / Departmental Bulletin Paper(1) | |||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 公開日 | 2014-03-28 | |||||||||||||||||
| タイトル | ||||||||||||||||||
| タイトル | ε-N論法における変数に代入すべき項の選択方法 | |||||||||||||||||
| 言語 | ja | |||||||||||||||||
| 言語 | ||||||||||||||||||
| 言語 | jpn | |||||||||||||||||
| 資源タイプ | ||||||||||||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_6501 | |||||||||||||||||
| 資源タイプ | departmental bulletin paper | |||||||||||||||||
| ID登録 | ||||||||||||||||||
| ID登録 | 10.15119/00000097 | |||||||||||||||||
| ID登録タイプ | JaLC | |||||||||||||||||
| 著者 |
川邊, 達治
× 川邊, 達治
× 佐々木, 克巳
× KAWABE, Tatsuji
× SASAKI, Katsumi
|
|||||||||||||||||
| 書誌情報 |
ja : アカデミア. 情報理工学編 : 南山大学紀要 en : Academia. Information sciences and engineering : journal of the Nanzan Academic Society 巻 12, p. 27-44, 発行日 2012-03-30 |
|||||||||||||||||
| 出版者 | ||||||||||||||||||
| 出版者 | 南山大学 | |||||||||||||||||
| 言語 | ja | |||||||||||||||||
| ISSN | ||||||||||||||||||
| 収録物識別子タイプ | PISSN | |||||||||||||||||
| 収録物識別子 | 21853266 | |||||||||||||||||
| 書誌レコードID | ||||||||||||||||||
| 収録物識別子タイプ | NCID | |||||||||||||||||
| 収録物識別子 | AA12519671 | |||||||||||||||||
| 著者版フラグ | ||||||||||||||||||
| 出版タイプ | VoR | |||||||||||||||||
| 出版タイプResource | http://purl.org/coar/version/c_970fb48d4fbd8a85 | |||||||||||||||||