Proofs of Termination and the "91" Function.

Solomon Feferman

Published in: Artificial and Mathematical Theory of Computation (1991)

Keyphrases

data mining
high level
evolutionary algorithm
real time
data sets
neural network
computer vision
database systems
optimal solution
multi agent systems
expert systems
probability distribution
piecewise linear