Proving Theorems about LISP Functions.

Robert S. Boyer J. Strother Moore

Published in: IJCAI (1973)

Keyphrases

learning theory
programming language
decision making
reinforcement learning
data sets
information systems
web services
evolutionary algorithm
multiresolution
general purpose