000 00633nam a2200217Ia 4500
008 131122s9999 xx 000 0 und d
020 _a3-540-11160-3
040 _aISI KOLKATA
041 _aEnglish
082 _a5.115
_bW926
100 _aEngeler Erwin
110 _aWorkshop on Logic Programs( 1979 : ETH zurich )
111 _aWorkshop on Logic Programs
_cETH zurich,
_d1979
245 _aLogic of programs : proceedings
260 _aBerlin
_bSpringer Verlag
_c1981
300 _a245p
440 _aLecture notes in computer science, 125
650 _aComputer science
650 _aLogic programming
942 _cBK
999 _c107104
_d107104