Login / Signup
Interactive Theorem Proving on Hierarchically and Modularly Structured Set of Very Many Axioms.
Michio Honda
Reiji Nakajima
Published in:
IJCAI (1979)
Keyphrases
</>
decision trees
three dimensional
small number
feature set
data sets
genetic algorithm
feature selection
image processing
database systems
lower bound
evolutionary algorithm