WEKO3
アイテム
制約解消系を備えた関数・論理型言語の処理系とその実装
http://hdl.handle.net/2241/00135184
http://hdl.handle.net/2241/0013518435344854-be9a-4b74-b0b0-ae2722b89114
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPSJ-JNL3609008.pdf (877.4 kB)
|
|
| Item type | Journal Article(1) | |||||||||
|---|---|---|---|---|---|---|---|---|---|---|
| 公開日 | 2016-02-16 | |||||||||
| タイトル | ||||||||||
| タイトル | 制約解消系を備えた関数・論理型言語の処理系とその実装 | |||||||||
| タイトル | ||||||||||
| タイトル | A Constraint Functional Logic Programming Language System and Its Implementation | |||||||||
| 言語 | ||||||||||
| 言語 | jpn | |||||||||
| 資源タイプ | ||||||||||
| 資源タイプ | journal article | |||||||||
| アクセス権 | ||||||||||
| アクセス権 | open access | |||||||||
| 著者 |
佐々木 重雄
× 佐々木 重雄
× 井田 哲雄
|
|||||||||
| 著者情報 | ||||||||||
| 所属・氏名 | 筑波大学; 井田, 哲雄; イダ, テツオ; IDA, Tetsuo | |||||||||
| 筑波大学研究者総覧 | http://trios.tsukuba.ac.jp/researcher/0000000956 | |||||||||
| 書誌情報 |
ja : 情報処理学会論文誌 en : IPSJ Journal 巻 36, 号 9, p. 2152-2160, 発行日 1995-09-15 |
|||||||||
| ISSN | ||||||||||
| 収録物識別子タイプ | PISSN | |||||||||
| 収録物識別子 | 0387-5806 | |||||||||
| NCID | ||||||||||
| 収録物識別子タイプ | NCID | |||||||||
| 収録物識別子 | AN00116647 | |||||||||
| 権利情報 | ||||||||||
| 権利情報 | 一般社団法人情報処理学会 | |||||||||
| 出版タイプ | ||||||||||
| 出版タイプ | VoR | |||||||||
| 出版者 | ||||||||||
| 出版者 | 一般社団法人情報処理学会 | |||||||||
| 出版者 | ||||||||||
| 出版者 | Information Processing Society of Japan (IPSJ) | |||||||||
| 関連情報 | ||||||||||
| 関連タイプ | isVersionOf | |||||||||
| 識別子タイプ | URI | |||||||||
| 関連識別子 | http://id.nii.ac.jp/1001/00013825/ | |||||||||
| 関連名称 | 本文データは学協会の許諾に基づきCiNiiから複製したものである | |||||||||
