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
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