Effective logic computation

Bibliografiske detaljer
Hovedforfatter:	Truemper, K. 1942-
Format:	Bog
Sprog:	English
Udgivet:	New York Wiley c1998.
Fag:	System analysis. Logic, Symbolic and mathematical. Operations research.