000 00609nam a2200205Ia 4500
008 131122s9999 xx 000 0 und d
020 _a0-262-52191-1
040 _aISI KOLKATA
041 _aEnglish
082 _a5.115
_bIn61
100 _aBruynooghe, Maurice ed
110 _aInternational Logic Programming Symposium(1994 : Santa Margherita Ligure)
111 _cSanta Margherita Ligure,,
_d1994
245 _aLogic programming
_bproceedings
260 _aCambridge
_bThe MIT Press
_c1994
300 _axxii,688p.
650 _aComputer programming
650 _aLogic programming
942 _cBK
999 _c109279
_d109279