Effective logic computation

Sonraí bibleagrafaíochta
Príomhchruthaitheoir:	Truemper, K. 1942-
Formáid:	LEABHAR
Teanga:	Béarla
Foilsithe / Cruthaithe:	New York Wiley c1998.
Ábhair:	System analysis. Logic, Symbolic and mathematical. Operations research.