First Order Topological Structures and Theories.

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

Keyphrases

theory revision
first order logic
databases
data mining
learning algorithm
case study
theoretical framework
artificial intelligence
information systems
decision making
expert systems
higher order
image structure
topological properties
quantifier elimination