000 00483nam a2200157Ia 4500
008 160615s9999 xx 000 0 und d
100 _aIEEE COMPUTER SOCIETY SYMPOSIUM(3rd
245 _a"Logic programming. Proceedings of the IEEE Computer Society Symposium, Salt Lake City, Utah, 22-25, Sept, 1986"
260 _aWashington D C
260 _bIEEE Computer Society Press
260 _c1986
300 _ax p. + 285
942 _cBooks
999 _c16432
_d16432