000 00516nam a2200181 4500
008 160616s2001 000 0
245 _aLogic Programming, Proceedings of the 17th International Conference, Cyprus, 2001
100 _aCodognet, Philippe. Ed.
260 _aNew York
260 _bSpringer Verlag
260 _c2001
300 _a363
440 _aLecture notes in computer science ; 02237
020 _a3540429352
650 _aLogic Programming
942 _cBK
_2BK17118
080 _a681 LNCS
999 _c17118
_d17118