000 00000nam a2200000 a 4500
005 20251202164128.0
020 _a0135399580
082 _a005.115DEG
_b_
100 _aDeGroot, Dough
100 _aLindstrom, Gray
245 _aLogic programming
_bfunctions, relations and equations
260 _aNew Jersey: Prentice-Hall
_c1986
300 _avii,533p.
_c22 cm.PB
630 _aComputer science
964 _bENG
_c100
_d
_e010
_f
_g_
997 _a4202 LIBSC C
999 _c513
_d513