WEKO3
アイテム
一般化論理プログラムからみた項書換え系
https://ipsj.ixsq.nii.ac.jp/records/238939
https://ipsj.ixsq.nii.ac.jp/records/23893935caca6b-0ba3-4563-966f-cf1d161aaa99
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
|
|
|
|
| オープンアクセス | ||
| Item type | Symposium(1) | |||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 公開日 | 1993-01-12 | |||||||||||
| タイトル | ||||||||||||
| タイトル | 一般化論理プログラムからみた項書換え系 | |||||||||||
| 言語 | ||||||||||||
| 言語 | jpn | |||||||||||
| 資源タイプ | ||||||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_5794 | |||||||||||
| 資源タイプ | conference paper | |||||||||||
| 著者所属 | ||||||||||||
| 北海道大学工学部 | ||||||||||||
| 著者所属 | ||||||||||||
| 北海道大学工学部 | ||||||||||||
| 著者所属 | ||||||||||||
| 北海道大学工学部 | ||||||||||||
| 著者名 |
繁田, 良則
× 繁田, 良則
× 赤間, 清
× 宮本, 衛市
|
|||||||||||
| 著者名(英) |
Shigeta, Yoshinori
× Shigeta, Yoshinori
× Akama, Kiyoshi
× Miyamoto, Eiichi
|
|||||||||||
| 書誌情報 |
第34回プログラミング・シンポジウム報告集 巻 1993, p. 167-176, 発行日 1993-01-12 |
|||||||||||
| 出版者 | ||||||||||||
| 言語 | ja | |||||||||||
| 出版者 | 情報処理学会 | |||||||||||