Login / Signup

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

Henryk KotlarskiRichard 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