A Recursive Model for Arithmetic with Weak Induction.
Zofia AdamowiczGuillermo Morales-LunaPublished in: J. Symb. Log. (1985)
Keyphrases
- mathematical model
- probabilistic model
- probability distribution
- genetic algorithm
- linear model
- statistical model
- case study
- computer vision
- database
- cost function
- objective function
- similarity measure
- management system
- theoretical analysis
- computational model
- theoretical framework
- experimental data
- conceptual model
- neural network model
- bayesian framework