Original language | English |
---|---|
Journal | Journal of Symbolic Computation |
Publication status | Published - 1989 Jan 1 |
CAL: A Theoretical Background of Constraint Logic Programming and Its Application
Ko Sakai, Akira Aiba
Research output: Contribution to journal › Article › peer-review