WEKO3
アイテム
LKからNKへの証明の書き換えについて
https://metro-cit.repo.nii.ac.jp/records/71
https://metro-cit.repo.nii.ac.jp/records/7170c21fcc-ef78-4066-8db2-9b9d4a2b6e7c
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
KJ00006811439 (275.1 kB)
|
.png)
|
| Item type | 紀要論文(ELS) / Departmental Bulletin Paper(1) | |||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 公開日 | 2009-03-01 | |||||||||||||
| タイトル | ||||||||||||||
| タイトル | LKからNKへの証明の書き換えについて | |||||||||||||
| 言語 | ja | |||||||||||||
| タイトル | ||||||||||||||
| タイトル | On a method to transform the proofs of LK into NK | |||||||||||||
| 言語 | en | |||||||||||||
| 言語 | ||||||||||||||
| 言語 | jpn | |||||||||||||
| キーワード | ||||||||||||||
| 言語 | en | |||||||||||||
| 主題Scheme | Other | |||||||||||||
| 主題 | NK | |||||||||||||
| キーワード | ||||||||||||||
| 言語 | en | |||||||||||||
| 主題Scheme | Other | |||||||||||||
| 主題 | LK | |||||||||||||
| キーワード | ||||||||||||||
| 言語 | en | |||||||||||||
| 主題Scheme | Other | |||||||||||||
| 主題 | Proof | |||||||||||||
| 資源タイプ | ||||||||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_6501 | |||||||||||||
| 資源タイプ | departmental bulletin paper | |||||||||||||
| ページ属性 | ||||||||||||||
| 内容記述タイプ | Other | |||||||||||||
| 内容記述 | P(論文) | |||||||||||||
| 著者 |
中西, 泰雄
× 中西, 泰雄
|
|||||||||||||
| 著者所属(日) | ||||||||||||||
| ja | ||||||||||||||
| 東京都立産業技術高等専門学校一般科 | ||||||||||||||
| 書誌情報 |
ja : 東京都立産業技術高等専門学校研究紀要 en : Research reports of Tokyo Metropolitan College of Industrial Technology 巻 3, p. 69-74, 発行日 2009-03 |
|||||||||||||
| 出版者 | ||||||||||||||
| 出版者 | 東京都立産業技術高等専門学校 | |||||||||||||
| 言語 | ja | |||||||||||||
| ISSN | ||||||||||||||
| 収録物識別子タイプ | PISSN | |||||||||||||
| 収録物識別子 | 18831990 | |||||||||||||
| 書誌レコードID | ||||||||||||||
| 収録物識別子タイプ | NCID | |||||||||||||
| 収録物識別子 | AA12210629 | |||||||||||||
