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 |