000 00495nam a2200181Ia 4500
001 2829
008 140314s9999 xx 000 0 und d
040 _cPK-LaUMT
082 _a 005.131
_bLOG
100 _aApt, K. R.
245 _aLogic programming languages:
_bconstraints, functions, and ,,,,
_cApt, K. R.<>Bakker, J. W.
260 _aLondon,UK:
_bThe MIT Press,
_c1993
300 _a201 p.
546 _aEN
650 _aLogic programming languages
700 _aBakker, J. W.
942 _cBK
999 _c3093
_d3093