On Existence Proofs of Hanf Numbers.

Harvey Friedman

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

Keyphrases

theorem prover
equational theories
theorem proving
multiscale
machine learning
genetic algorithm
computer vision
case study
three dimensional
objective function
data structure
natural language
wireless sensor networks
decision procedures
formal proof