Proving with BDDs and Control of Information.

Published in: CADE (1994)

Keyphrases

information sources
databases
data mining
keywords
data structure
end users
information processing
contextual information
spatial information
temporal information
raw data
information fusion
information services