Henkin and Function Quantifiers.

Michal Krynicki Jouko A. Väänänen

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

Keyphrases

training data
management system
real time
information systems
feature selection
decision making
image processing
pattern recognition
natural language
probabilistic model