Effective logic computation

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