000 00288nam a2200121 4500
008 160616s 000 0
245 _aA computational logic handbook
100 _aBoyer, R.S
100 _aMoore, J.S
500 _aD6,8(B) M814
942 _cBK
_2BK6358
080 _a681.3.06 BOY
999 _c6358
_d6358