000
00288nam a2200121 4500
008
160616s 000 0
245
_a
A computational logic handbook
100
_a
Boyer, R.S
100
_a
Moore, J.S
500
_a
D6,8(B) M814
942
_c
BK
_2
BK6358
080
_a
681.3.06 BOY
999
_c
6358
_d
6358