The Henkin Quantifier and Real Closed Fields.

Published in: Math. Log. Q. (1981)

Keyphrases

artificial intelligence
knowledge base
real life
real time
data sets
data mining
computer vision
feature selection
multimedia
multiscale
wide range
preprocessing
special case
application fields