Combining Superposition and Induction: A Practical Realization.

Abdelkader Kersani Nicolas Peltier

Published in: FroCos (2013)

Keyphrases

real world
real time
practical application
theorem proving
machine learning
learning algorithm
search engine
decision trees
preprocessing
expert systems
concept learning