Fragment of Nonstandard Analysis with a Finitary Consistency Proof.

Michal Rössler Emil Jerábek

Published in: Bull. Symb. Log. (2007)

Keyphrases

data analysis
statistical analysis
knowledge base
image segmentation
real time
multiscale
multiresolution
first order logic
quantitative analysis