Login / Signup
Exploring Nanomagnetic Logic with Bennett Clocking.
Pedro Arthur R. L. Silva
Jeferson F. Chaves
José Augusto Miranda Nacif
Ricardo Ferreira
Omar Paranaiba Vilela Neto
Published in:
SBCCI (2023)
Keyphrases
</>
artificial intelligence
automated reasoning
logic programming
proof theory
multi valued
predicate logic
delay insensitive
database
neural network
evolutionary algorithm
modal logic
classical logic
computational properties
defeasible logic
propositional dynamic logic