QCA with reversible arithmetic and logic unit for nanoelectronics applications.
Gade Mary Swarna LathaS. RoobanPublished in: Int. J. Intell. Comput. Cybern. (2023)
Keyphrases
- cellular automata
- micron cmos
- quantifier free
- classical logic
- modal logic
- defeasible logic
- databases
- neural network
- rewrite systems
- predicate logic
- automated reasoning
- image processing
- processing units
- database
- computational properties
- bayesian networks
- set theory
- arithmetic operations
- deontic logic
- multiple valued
- artificial intelligence
- logic programming