Operations on logic functions and variables through sign Haar spectra.

Bogdan J. Falkowski Susanto Rahardja

Published in: Comput. Electr. Eng. (2003)

Keyphrases

principal component analysis
multi valued
logic programming
logical operations
propositional variables
variable selection
potential functions
classical logic
arithmetic operations
modal logic
causal relationships
automated reasoning
proof theory