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