Effective logic computation /

Bibliographic Details

Main Author:	Truemper, K., 1942-
Format:	Book
Language:	English
Published:	New York : Wiley, [1998]
Subjects:	System analysis. Operations research. Logic, Symbolic and mathematical.