Models for Recursion Theory.

Johan Moldestad Dag Normann

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

Keyphrases

mathematical framework
formal models
database
data sets
neural network
machine learning
artificial intelligence
case study
least squares
model selection
computational model
experimental data
statistical methods
theoretical developments