Logic Programming: Proceedings of the North American Conference, 1989, Volume 1

Front Cover
Ewing Lusk, Ross A. Overbeek
MIT Press, 1989 - Logic programming - 1239 pages

From inside the book

Contents

Applications
3
Expanding Query Power in Constraint Logic Programming Languages
20
Simplification and Elimination of Redundant Linear Arithmetic Constraints
37
Copyright

38 other sections not shown

Common terms and phrases

Bibliographic information