Set-theoretic equation solver based on a truth-maintained architecture.

Chris J. Hinde M. Norman

Published in: Knowl. Based Syst. (1992)

Keyphrases

set theoretic
image recovery
decision making
pattern recognition
knowledge discovery
information processing