McAloon, Ken Optimization and computational logic - New York, N.Y. : Wiley, 1996 - 536 p. + 1 diskette Subjects--Topical Terms: LINEAR PROGRAMMINGMATHEMATICAL OPTIMIZATIONLOGIC, SYMBOLIC AND MATHEMATICALCOMPUTER SCIENCE LC Class. No.: T57.74 / M322O