Effective logic computation

Библиографические подробности
Главный автор:	Truemper, K. 1942-
Формат:	‌
Язык:	английский
Опубликовано:	New York Wiley c1998.
Предметы:	System analysis. Logic, Symbolic and mathematical. Operations research.