000 00598nam a2200205Ia 4500
001 20358
008 180118s9999||||xx |||||||||||||| ||eng||
020 _a3540429352
040 _aTULIB
_cTULIB
041 _aeng
082 _a004 LEC
100 _aCodognet,P(ed)
245 0 _aLogic programming /
_cCodognet,P(ed).
250 _a17 th International
260 _aBerlin:
_bSpringer,
_c2001.
300 _axi,365p;23cm
490 _aLecture Notes in Computer Science 2237
504 _aIncludes bibliographical references.
942 _cBK
999 _c14080
_d14080