Constraints in computational logicsde Gerhard GoosMateriasLogic programmingConstraint programming (Computer science)Logic designSymbolic and mathematical LogicComputer scienceArtificial intelligenceConstraint programming (computer science)Ediciones (1)Constraints in Computational Logics. Theory and Applications (2001)Springer · inglés · ISBN 9783540419501