Login / Signup
An Implementation of a Theorem Prover Based on the Connection Method.
Elmar Eder
Published in:
AIMSA (1984)
Keyphrases
</>
theorem prover
dynamic programming
computational cost
high accuracy
preprocessing
cost function
detection method
similarity measure
segmentation method