Memristors for Digital Logic Applications.

Nadine Gergel-Hackett Anna Wright Farrah-Amoy Fullerton Aaleyah Joe

Published in: J. Circuits Syst. Comput. (2021)

Keyphrases

logic programming
modal logic
multi valued
machine learning
database systems
expert systems
proof theory
formal theory
computational properties
logical framework
digital plane
data sets
classical logic
automated reasoning
digital media
digital video
case study