Elimination of Skolem functions for monotone formulas in analysis.

Ulrich Kohlenbach

Published in: Arch. Math. Log. (1998)

Keyphrases

image analysis
statistical analysis
data sets
neural network
knowledge base
image processing
multiscale
video sequences
expert systems