Login / Signup
Purely Functional Implementation of a Logic.
F. Keith Hanna
Neil Daeche
Published in:
CADE (1986)
Keyphrases
</>
neural network
efficient implementation
real world
data mining
knowledge base
decision trees
automated reasoning
implementation details
multi valued
asynchronous circuits