Proving Theorems about LISP Functions.

Robert S. Boyer J. Strother Moore

Published in: J. ACM (1975)

Keyphrases

learning theory
database
programming language
artificial intelligence
data sets
databases
neural network
learning algorithm
information systems
decision trees
multiscale
computational complexity
evolutionary algorithm
knowledge representation