Automorphisms of Models of True Arithmetic: Recognizing Some Basic Open Subgroups.

Henryk Kotlarski Richard Kaye

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

Keyphrases

probabilistic model
complex systems
genetic algorithm
computer vision
data structure
multiresolution
maximum likelihood
statistical model
mathematical models