000 00612nam a2200205Ia 4500
008 131122s9999 xx 000 0 und d
020 _a3-540-12896-4
040 _aISI KOLKATA
041 _aEnglish
082 _a5.115
_bW926
100 _aClarke Edmund
110 _aWorkshop on Logic Programs( 1983 : Pittsburgh )
111 _aWorkshop on Logic Programs
_cPittsburgh,
_d1983
245 _aLogic of programs : proceedings
260 _aBerlin
_bSpringer Verlag
_c1981
440 _aLecture notes in computer science, 164
650 _aComputer science
650 _aLogic programming
942 _cBK
999 _c107498
_d107498