A Model for Intuitionistic Non-Standard Arithmetic.

Published in: Ann. Pure Appl. Log. (1995)

Keyphrases

experimental data
high level
computational model
theoretical framework
management system
mathematical model
statistical model
formal model
artificial intelligence
case study
evolutionary algorithm
prior knowledge
probabilistic model
sensitivity analysis
real valued