Reed-Muller Canonical Forms in Multivalued Logic.

Kolar L. Kodandapani Rangaswamy V. Setlur

Published in: IEEE Trans. Computers (1975)

Keyphrases

multi valued
modal logic
single valued
automated reasoning
logic programming
neural network
asynchronous circuits
classical logic
formal theory
sound and complete axiomatization
data sets
logic synthesis
digital circuits
multi agent
decision trees
artificial intelligence
databases