Rings Which Admit Elimination of Quantifiers.

Chantal Berline

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

Keyphrases

natural language
first order logic
machine learning
artificial intelligence
elimination algorithm
information retrieval
decision making
image segmentation
data analysis
mobile robot
probability distribution
distributed systems
averaged one dependence estimators