000 00677nam a2200217Ia 4500
008 131122s9999 xx 000 0 und d
020 _a3-540-16492-8
040 _aISI KOLKATA
041 _aEnglish
082 _a5.115
_bIn61
100 _aShapiro Ehud
110 _aInternational Conference on Logic Programming( 3rd : 1986 : London )
111 _aInternational Conference on Logic Programming 3rd
_cLondon,
_d1986
245 _aLogic programming : proceedings
260 _aBerlin
_bSpringer Verlag
_c1986
300 _aix,720p
440 _aLecture notes in computer science, v 225
650 _aComputer science
650 _aLogic programming
942 _cBK
999 _c107983
_d107983