Some Model Theory of Modules. III. On Infiniteness of Sets Definable in Modules.
Philipp RothmalerPublished in: J. Symb. Log. (1984)
Keyphrases
- computational model
- genetic algorithm
- formal model
- theoretical framework
- probabilistic model
- modular structure
- mathematical model
- statistical model
- experimental data
- computational models
- conceptual framework
- mathematical framework
- database
- cost function
- software engineering
- least squares
- prior knowledge
- multiscale
- theoretical foundation
- simulation model
- high level
- mathematical models