WEKO3
アイテム
制約論理型言語における制約集合の構造解析による代数制約ソルバーの効率化についての検討
https://doi.org/10.15029/00000294
https://doi.org/10.15029/000002949bcdf4c3-43a3-4043-8239-7035417760bf
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
KJ00000218632 (619.2 kB)
|
TUIS
|
| Item type | 紀要論文(ELS) / Departmental Bulletin Paper(1) | |||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 公開日 | 2003-02-01 | |||||||||||
| タイトル | ||||||||||||
| タイトル | 制約論理型言語における制約集合の構造解析による代数制約ソルバーの効率化についての検討 | |||||||||||
| 言語 | ja | |||||||||||
| タイトル | ||||||||||||
| タイトル | Structral Analysis of Constraint Sets for Constraint Logic Programming and Its Application for Efficient Algebraic Constraint Solver | |||||||||||
| 言語 | en | |||||||||||
| 言語 | ||||||||||||
| 言語 | jpn | |||||||||||
| 資源タイプ | ||||||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_6501 | |||||||||||
| 資源タイプ | departmental bulletin paper | |||||||||||
| ID登録 | ||||||||||||
| ID登録 | 10.15029/00000294 | |||||||||||
| ID登録タイプ | JaLC | |||||||||||
| ページ属性 | ||||||||||||
| 内容記述タイプ | Other | |||||||||||
| 内容記述 | P(論文) | |||||||||||
| 著者名(日) |
永井, 保夫
× 永井, 保夫
× Nagai, Yasuo
|
|||||||||||
| 著者所属(日) | ||||||||||||
| ja | ||||||||||||
| 東京情報大学 | ||||||||||||
| 著者所属(英) | ||||||||||||
| en | ||||||||||||
| Tokyo University of Information Sciences | ||||||||||||
| 雑誌書誌ID | ||||||||||||
| 収録物識別子タイプ | NCID | |||||||||||
| 収録物識別子 | AA11155514 | |||||||||||
| 書誌情報 |
ja : 東京情報大学研究論集 巻 6, 号 2, p. 99-121, 発行日 2003-02-01 |
|||||||||||
| 出版者 | ||||||||||||
| 出版者 | 東京情報大学 | |||||||||||
| 言語 | ja | |||||||||||
