WEKO3
アイテム
計算モデルについて(1) : ラムダ計算とパイ計算
https://kdu.repo.nii.ac.jp/records/710
https://kdu.repo.nii.ac.jp/records/7103f2379be-a8aa-44c8-a434-e2fc84c29c4c
| Item type | [ELS]紀要論文 / Departmental Bulletin Paper(1) | |||||
|---|---|---|---|---|---|---|
| 公開日 | 2000-01-01 | |||||
| タイトル | ||||||
| タイトル | 計算モデルについて(1) : ラムダ計算とパイ計算 | |||||
| 言語 | ja | |||||
| タイトル | ||||||
| タイトル | Computational Models(1) : Lambda Calculus and Pi Calculus : A Tutorial | |||||
| 言語 | en | |||||
| 言語 | ||||||
| 言語 | jpn | |||||
| 資源タイプ | ||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_6501 | |||||
| 資源タイプ | departmental bulletin paper | |||||
| アクセス権 | ||||||
| アクセス権 | metadata only access | |||||
| アクセス権URI | http://purl.org/coar/access_right/c_14cb | |||||
| 雑誌書誌ID | ||||||
| 収録物識別子タイプ | NCID | |||||
| 収録物識別子 | AN10324017 | |||||
| 論文名よみ | ||||||
| タイトル | ケイサン モデル ニツイテ 1 ラムダ ケイサン ト パイ ケイサン | |||||
| 言語 | ja-Kana | |||||
| 著者 |
神林, 靖
× 神林, 靖× Kambayashi, Yasushi |
|||||
| 著者所属(日) | ||||||
| 湘南短期大学教養部 | ||||||
| 書誌情報 |
ja : 湘南短期大学紀要 巻 11, p. 197-207 |
|||||
| 出版者 | ||||||
| 出版者 | 湘南短期大学 | |||||
| 言語 | ja | |||||
| 表示順 | ||||||
| 内容記述タイプ | Other | |||||
| 内容記述 | 19 | |||||
| アクセション番号 | ||||||
| 内容記述タイプ | Other | |||||
| 内容記述 | KJ00000602068 | |||||
