Truemper, 1942-
Effective logic computation
/ Klaus Truemper.
- New York John Wiley & Sons 1998.
- xi, 476p. 24cm
Includes bibliographical references and index
0471238864
Logic, Symbolic and mathematical
Operations research
System analysis
003 TRU 1998