| 本文言語 | English |
|---|---|
| ジャーナル | Workshop on Systems and Algorithms of Symbolic Computation |
| 出版ステータス | Published - 1988 3月 24 |
CAL: A Theoretical background of Constraint Logic Programming and Its Applications
K. Sakai, A. Aiba
研究成果: Article › 査読
K. Sakai, A. Aiba
研究成果: Article › 査読
| 本文言語 | English |
|---|---|
| ジャーナル | Workshop on Systems and Algorithms of Symbolic Computation |
| 出版ステータス | Published - 1988 3月 24 |