Memcapacitive Devices in Logic and Crossbar Applications.
S. J. Dat TranChristof TeuscherPublished in: Int. J. Unconv. Comput. (2017)
Keyphrases
- mobile devices
- logic programming
- logical framework
- embedded systems
- asynchronous circuits
- automated reasoning
- defeasible logic
- proof theory
- smart phones
- multi valued
- computational properties
- predicate logic
- sound and complete axiomatization
- database
- natural deduction
- set theory
- physical world
- website
- multimedia
- data sets