000 00563nam a2200193 4500
001 0000013228
008 231118s9999 xx 000 0 und d
020 0 0 _a0471238864
040 _aPJB
090 0 _aT57.6 .T75
_b1998
100 0 0 _aTruemper, K
245 0 0 _aEffective logic computation
_cKlaus Truemper
260 0 0 _aNew York
_bWiley
_c1998
300 _axi, 479 p. :
_bill.
_c24 cm
504 0 _aIncludes bibliographical references and indexes
650 0 0 _aLogic, Symbolic and mathematical.
650 0 0 _aOperations research
650 0 0 _aSystem analysis
999 _c131947
_d131947