CRRDL: a novel charge recovery-recycling differential logic.
K. Y. CheungPublished in: ISCAS (4) (2001)
Keyphrases
- logic programming
- classical logic
- modal logic
- artificial intelligence
- automated reasoning
- real time
- neural network
- proof theory
- predicate logic
- multi valued
- logic synthesis
- asynchronous circuits
- abductive reasoning
- formal theory
- nonmonotonic logics
- probabilistic logic
- low power
- image sequences
- database systems
- knowledge base
- learning algorithm
- data sets