Elimination of quantifiers from arithmetical formulas defining recursively enumerable sets.

Yuri V. Matiyasevich

Published in: Math. Comput. Simul. (2004)

Keyphrases

supervised learning
training data
learning problems
recursive functions
special case
data sets
pattern recognition
small number
positive and negative
inductive inference
real valued functions