The Hanf Number of Second Order Logic.

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

Keyphrases

small number
higher order
neural network
artificial intelligence
computer vision
e learning
image processing
bayesian networks
computational complexity
hidden markov models
finite number
maximum number