Partial Realizations of Hilbert's Program.

Stephen G. Simpson

Published in: J. Symb. Log. (1988)

Keyphrases

mobile robot
random variables
neural network
decision making
real world
data mining
machine learning
artificial intelligence
video sequences
information technology
probability distribution
computer programs
static analysis