000 00631nam a2200217Ia 4500
008 131122s9999 xx 000 0 und d
020 _a3-540-15648-8
040 _aISI KOLKATA
041 _aEnglish
082 _a5.115
_bW926
100 _aParikh Rohit
110 _aWorkshop on Logic Programs( 1985 : Brooklyn )
111 _aWorkshop on Logic Programs
_cBrooklyn,
_d1985
245 _aLogic of programs : proceedings
260 _aBerlin
_bSpringer Verlag
_c1981
300 _avi,424p
440 _aLecture notes in computer science, 193
650 _aComputer science
650 _aLogic programming
942 _cBK
999 _c107836
_d107836