A Recursive Nonstandard Model of Normal Open Induction.

Alessandro Berarducci Margarita Otero

Published in: J. Symb. Log. (1996)

Keyphrases

computational model
machine learning
statistical model
high level
neural network model
mathematical model
graphical models
sensitivity analysis
theoretical analysis
probabilistic model
cost function
real time
management system
experimental data
prior knowledge
expert systems
network model