Effective logic computation

Bibliografische gegevens
Hoofdauteur:	Truemper, K. 1942-
Formaat:	Boek
Taal:	English
Gepubliceerd in:	New York Wiley c1998.
Onderwerpen:	System analysis. Logic, Symbolic and mathematical. Operations research.