On provable recursive functions.

Herbert B. Enderton

Published in: Notre Dame J. Formal Log. (1968)

Keyphrases

recursive functions
inductive inference
machine learning
theoretical analysis
knowledge base
prior knowledge
vc dimension