Login / Signup
An Implementation of a PROLOG-like Theorem Prover based on the Connection Method.
Stefan Bayerl
Elmar Eder
Franz J. Kurfess
Reinhold Letz
Johann Schumann
Published in:
AIMSA (1986)
Keyphrases
</>
theorem prover
high accuracy
significant improvement
preprocessing
clustering method
theorem proving
detection method
objective function
pairwise
similarity measure
semi supervised learning
term rewriting