On the elimination of Malitz quantifiers over Archimedian real closed fields.

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

Keyphrases

queueing networks
information retrieval
computer vision
real life
real world
decision making
image processing
reinforcement learning
application fields