Spin-based majority gates for logic applications.

Iuliana P. Radu

Published in: DRC (2018)

Keyphrases

logic circuits
classical logic
proof theory
multi valued
database
expert systems
logic programs
logic programming
predicate logic
databases
search engine
computer vision
low power
automated reasoning
logical framework
abductive reasoning