Login / Signup
A Feature-Based Learning Method for Theorem Proving.
Matthias Fuchs
Published in:
AAAI/IAAI (1998)
Keyphrases
</>
theorem proving
machine learning
learning algorithm
artificial intelligence
supervised learning
theorem prover
inference rules
parallel search
geometry theorem proving