Apt, Krzysztof R.
Constraint logic programming using ECLiPSe
- Cambridge: Cambridge University Press, 2007
- xv, 329 p.; ill.: 25 cm.
9780521866286 (hbk)
Constraint programming
Logic programming
Mathematical logic
Software Development
Prolog
005.116 / APT