Login / Signup
The Automatic Acquisition of Proof Methods.
Kurt Ammon
Published in:
AAAI (1988)
Keyphrases
</>
empirical studies
preprocessing
data sets
data mining
feature vectors
machine learning methods
computationally expensive
databases
search engine
decision trees
case study
database systems
search algorithm
computational cost
statistical models