Microelectromechanical XNOR and XOR logic devices.
Makoto MitaManabu AtakaHiroshi ToshiyoshiPublished in: IEICE Electron. Express (2013)
Keyphrases
- mobile devices
- modal logic
- inference rules
- classical logic
- proof theory
- epistemic logic
- predicate logic
- computational properties
- smart phones
- embedded systems
- logic programming
- low cost
- artificial intelligence
- context aware
- automated reasoning
- programming language
- abductive reasoning
- information retrieval
- asynchronous circuits
- machine learning