Keyphrases
- tree structure
- automated theorem proving
- theorem prover
- theorem proving
- cellular neural networks
- tree structures
- answer set programming
- data structure
- mining algorithm
- tree representation
- hierarchical structure
- frequent patterns
- quadtree
- index structure
- first order logic
- b tree
- classical logic
- r tree
- prefix tree
- expert systems
- database
- markov tree
- multi dimensional
- software engineering
- xml documents
- data mining
- neural network
- data sets