Some Applications of Infinitely Long Formulas.

H. Jerome Keisler

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

Keyphrases

finite number
database
databases
image segmentation
hidden markov models
real time
neural network
machine learning
genetic algorithm