Translating Set Theoretical Proofs into Type Theoretical Programs.

Published in: Kurt Gödel Colloquium (1997)

Keyphrases

theoretical analysis
theoretical basis
neural network
database
databases
information systems
decision trees
search algorithm
feature space
expert systems
evolutionary algorithm
probabilistic model
probability distribution
user defined