000 00592pam a2200193a 44500
003 OSt
008 160408b1986 xxu||||| |||| 00| 0 eng d
040 _cIIT Kanpur
041 _aeng
082 _a001.642
_bD365l
100 _aDeGroot, Doug
245 1 _aLogic programming
_cDoug DeGroot and Gary Lindstrom
_bfunctions, relations, and equations
260 _aEnglewood Cliffs, New Jersey
_bPrentice-Hall
_c1986
300 _avii, 533p
650 _aElectronic Digital Computers -- Programming
650 _aLogic, Symbolic And Mathematical
700 _aLindstrom, Gary
942 _cBK
999 _c275944
_d275944