Arithmetic Logic Unit based on all-spin logic devices.

Qi An Sébastien Le Beux Ian O'Connor Jacques-Olivier Klein Weisheng Zhao

Published in: NEWCAS (2017)

Keyphrases

classical logic
proof theory
artificial intelligence
logic programming
machine learning
modal logic
multi valued
sound and complete axiomatization
knowledge base
multi agent