Login / Signup

Automorphisms of Recursively Saturated Models of Arithmetic.

Richard KayeRoman KossakHenryk Kotlarski
Published in: Ann. Pure Appl. Log. (1991)
Keyphrases
  • modeling framework
  • data sets
  • probabilistic model
  • evolutionary algorithm
  • experimental data
  • genetic algorithm
  • website
  • case study
  • three dimensional
  • multiscale
  • floating point