Keyphrases
- functional analysis
- data mining
- text mining
- theorem proving
- sequential patterns
- sequential pattern mining
- theorem prover
- data mining algorithms
- data mining tasks
- data mining applications
- mining algorithm
- web mining
- frequent itemsets
- itemsets
- data mining techniques
- object oriented
- data structure
- information retrieval
- machine learning