Effective logic computation

Dades bibliogràfiques
Autor principal:	Truemper, K. 1942-
Format:	Llibre
Idioma:	English
Publicat:	New York Wiley c1998.
Matèries:	System analysis. Logic, Symbolic and mathematical. Operations research.