Models of transfinite provability logic.

David Fernández-Duque Joost J. Joosten

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

Keyphrases

statistical models
case study
expert systems
evolutionary algorithm
parameter estimation
complex systems
statistical model
multi valued
data mining
probabilistic model
computational models
accurate models