Constraints in computational logics
by Gerhard Goos

No description available.
Logic programmingConstraint programming (Computer science)Logic designSymbolic and mathematical LogicComputer scienceArtificial intelligenceConstraint programming (computer science)