Effective logic computation

Bibliografiska uppgifter
Huvudupphovsman:	Truemper, K. 1942-
Materialtyp:	Bok
Språk:	English
Publicerad:	New York Wiley c1998.
Ämnen:	System analysis. Logic, Symbolic and mathematical. Operations research.