Automorphisms of Recursively Saturated Models of Arithmetic.

Richard Kaye Roman Kossak Henryk 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