Presburger sets and p-minimal fields.

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

Keyphrases

minimal subsets
computer vision
three dimensional
real time
artificial intelligence
bayesian networks
definite clause