Classical Proofs as Programs.

Published in: Kurt Gödel Colloquium (1993)

Keyphrases

computer programs
real world
hidden markov models
logic programs
automatic programming
databases
learning algorithm
decision trees
data structure
programming environment
classical methods
intermediate level
control structures