A Problem in Recursive Function Theory.

R. L. Goodstein

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

Keyphrases

database
neural network
computational model
theoretical framework
theoretical basis
general theory
real time
multi agent
search algorithm
upper bound
formal theory