Effective logic computation
By: Klaus Truemper.
Publisher: Wiley
Published: 1998
Place of publication: New York
Language: eng
Number of pages: 479
Subjects: System analysis.; Operations research.; Logic, Symbolic and mathematical.
Notes: Includes bibliographical references and indexes.
"A Wiley-Interscience publication."