On False Heine/Borel Compactness Principles in Proof Mining.
Fernando FerreiraPublished in: CiE (2021)
Keyphrases
- web mining
- data mining
- knowledge discovery
- text mining
- itemsets
- mining algorithm
- association rule mining
- pattern mining
- markov decision processes
- association mining
- theorem proving
- sequential patterns
- frequent itemsets
- data mining techniques
- database
- frequent patterns
- data mining applications
- pattern discovery
- sequential pattern mining
- neural network