Counting Modulo Quantifiers on Finite Structures.

Published in: Inf. Comput. (2000)

Keyphrases

finite number
expert systems
structural features
database
data mining
image processing
decision trees
three dimensional
high quality
natural language
first order logic
image structure
unit length