000 00420nam a2200145Ia 4500
008 230120s1995 xx 000 0 und d
020 _a9780262291248
041 _aeng
100 _aLloyd
245 _aLogic Programming: The 1995 International Symposium
260 _bMIT Press
_c1995
300 _bfulltext
650 _aComputing and Processing
856 _uhttps://ieeexplore.ieee.org/servlet/opac?bknumber=6276853
999 _c13466
_d13466