Hanf Numbers for Omitting Types Over Particular Theories.

Julia F. Knight

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

Keyphrases

theoretical framework
neural network
computer vision
multiscale
special case
intelligent systems
multiple types