WEKO3
アイテム
非手続き型プログラミングのための計算モデル：項書き換え型計算モデルとその応用
https://ipsj.ixsq.nii.ac.jp/records/6277
https://ipsj.ixsq.nii.ac.jp/records/62775ca614a4-c776-4b15-b247-b354906b9e1e
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPSJ-MGN240207 (1.5 MB)
|
Copyright (c) 1983 by the Information Processing Society of Japan
|
|
| オープンアクセス | ||
| Item type | Magazine(1) | |||||||||
|---|---|---|---|---|---|---|---|---|---|---|
| 公開日 | 1983-02-15 | |||||||||
| タイトル | ||||||||||
| タイトル | 非手続き型プログラミングのための計算モデル：項書き換え型計算モデルとその応用 | |||||||||
| タイトル | ||||||||||
| 言語 | en | |||||||||
| タイトル | Term Rewriting Systems and Their Applications : A Survey | |||||||||
| 言語 | ||||||||||
| 言語 | jpn | |||||||||
| キーワード | ||||||||||
| 主題Scheme | Other | |||||||||
| 主題 | 特集 | |||||||||
| 資源タイプ | ||||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_6501 | |||||||||
| 資源タイプ | article | |||||||||
| 著者所属 | ||||||||||
| 電子技術総合研究所ソフトウェア部言語処理研究室 | ||||||||||
| 著者所属 | ||||||||||
| 日本電信電話公社武蔵野電気通信研究所基礎研究部第一研究室 | ||||||||||
| 著者所属(英) | ||||||||||
| en | ||||||||||
| Electrotechnical Laboratory | ||||||||||
| 著者所属(英) | ||||||||||
| en | ||||||||||
| Musashino Electrical Communication Laboratory, N.T.T. | ||||||||||
| 著者名 |
二木, 厚吉
× 二木, 厚吉
× 外山, 芳人
|
|||||||||
| 著者名(英) |
Futatsugi, Kokichi
× Futatsugi, Kokichi
× Toyama, Yoshihito
|
|||||||||
| 書誌レコードID | ||||||||||
| 収録物識別子タイプ | NCID | |||||||||
| 収録物識別子 | AN00116625 | |||||||||
| 書誌情報 |
情報処理 巻 24, 号 2, 発行日 1983-02-15 |
|||||||||
| 出版者 | ||||||||||
| 言語 | ja | |||||||||
| 出版者 | 情報処理学会 | |||||||||
