Next:
Algorithm = Logic +
Up:
History
Previous:
History
Declarative Modelling and Efficient Enforcement
Algorithm = Logic + Control
Constraints for Multi-Directional Programming
Constraint Logic programming
Mark Wallace
Wed Sep 3 18:36:40 BST 1997