|
|
Dincbas, M. and Simonis, H. and Hentenryck, P. (1987): Extending Equation Solving and Constraint Handling in Logic Programming
| Title: |
Extending Equation Solving and Constraint Handling in Logic Programming |
| Author(s): |
Dincbas, M. and Simonis, H. and Hentenryck, P. |
| Year: |
1987 |
| Booktitle: |
Proceedings of Colloquium on Resolution of Equations in Algebraic Structures, Austin, Texas |
Concepts
|
|
