The Härtig Quantifier: A Survey.

Heinrich Herre Michal Krynicki Alexander G. Pinus Jouko A. Väänänen

Published in: J. Symb. Log. (1991)

Keyphrases

quantifier elimination
learning algorithm
fuzzy measures
interval arithmetic