Elimination of Quantifiers for Ordered Valuation Rings.

Max A. Dickmann

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

Keyphrases

data mining
natural language
learning algorithm
search engine
computer vision
case study
multi agent systems
lower bound
motion estimation
partially ordered
elimination algorithm
ordered sets