Login / Signup
On properties of algebraic transformation and the multifault testability of multilevel logic.
Gary D. Hachtel
Reily M. Jacoby
Kurt Keutzer
Christopher R. Morrison
Published in:
ICCAD (1989)
Keyphrases
</>
algebraic structure
formal language
algebraic structures
neural network
higher order
logic programming
machine learning
genetic algorithm
multi valued
geometric transformations
classical logic
defeasible logic
digital circuits