000 00397nam a2200145Ia 4500
008 230120s1994 xx 000 0 und d
020 _a9780262288446
041 _aeng
100 _aFreuder
245 _aConstraint-Based Reasoning
260 _bMIT Press
_c1994
300 _bfulltext
650 _aComputing and Processing
856 _uhttps://ieeexplore.ieee.org/servlet/opac?bknumber=6267467
999 _c13205
_d13205