A Bootstrapped NMOS Charge Recovery Logic.
Seung-Moon YooSeung-Moon KangPublished in: Great Lakes Symposium on VLSI (1998)
Keyphrases
- dynamic logic
- logic programming
- modal logic
- classical logic
- multi valued
- artificial intelligence
- probabilistic logic
- logical framework
- recovery algorithm
- linear logic
- abductive reasoning
- charge coupled devices
- genetic algorithm
- proof theory
- formal theory
- image recovery
- predicate logic
- reasoning about actions
- information systems