000 00489nam a2200157Ia 4500
999 _c17113
_d17113
008 161214s9999 xx 000 0 und d
020 _a9780521866286
_c(hbk)
082 _a005.116
_bAPT
100 _aApt, Krzysztof R.
245 0 _aConstraint logic programming using ECLiPSe
260 _aCambridge:
_bCambridge University Press,
_c2007
300 _axv, 329 p.;
_bill.:
_c25 cm.
650 _aConstraint programming
650 _aLogic programming
650 _aMathematical logic
650 _aSoftware Development
650 _aProlog
942 _2ddc
_cBK