WEKO3
アイテム
項書き換え系に基づく制約プログラミング言語システムの実現方式について
https://doi.org/10.15029/00000296
https://doi.org/10.15029/0000029615a66322-415d-4975-94b4-28302c1b3e3d
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
KJ00000218634 (835.0 kB)
|
TUIS
|
| Item type | 紀要論文(ELS) / Departmental Bulletin Paper(1) | |||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 公開日 | 2003-02-01 | |||||||||||
| タイトル | ||||||||||||
| タイトル | 項書き換え系に基づく制約プログラミング言語システムの実現方式について | |||||||||||
| 言語 | ja | |||||||||||
| タイトル | ||||||||||||
| タイトル | Towards Implementation of Constraint Programming System based on Term Rewriting System | |||||||||||
| 言語 | en | |||||||||||
| 言語 | ||||||||||||
| 言語 | jpn | |||||||||||
| 資源タイプ | ||||||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_6501 | |||||||||||
| 資源タイプ | departmental bulletin paper | |||||||||||
| ID登録 | ||||||||||||
| ID登録 | 10.15029/00000296 | |||||||||||
| ID登録タイプ | JaLC | |||||||||||
| ページ属性 | ||||||||||||
| 内容記述タイプ | Other | |||||||||||
| 内容記述 | P(論文) | |||||||||||
| 著者名(日) |
永井, 保夫
× 永井, 保夫
× Nagai, Yasuo
|
|||||||||||
| 著者所属(日) | ||||||||||||
| ja | ||||||||||||
| 東京情報大学 | ||||||||||||
| 著者所属(英) | ||||||||||||
| en | ||||||||||||
| Tokyo University of Information Sciences | ||||||||||||
| 雑誌書誌ID | ||||||||||||
| 収録物識別子タイプ | NCID | |||||||||||
| 収録物識別子 | AA11155514 | |||||||||||
| 書誌情報 |
ja : 東京情報大学研究論集 巻 6, 号 2, p. 141-169, 発行日 2003-02-01 |
|||||||||||
| 出版者 | ||||||||||||
| 出版者 | 東京情報大学 | |||||||||||
| 言語 | ja | |||||||||||
