• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Arithmetic Logic Unit based on all-spin logic devices.

Qi AnSébastien Le BeuxIan O'ConnorJacques-Olivier KleinWeisheng 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