Issues in Theorem Proving Based on the Connection Method.

Wolfgang Bibel Stefan Brüning Uwe Egly Daniel S. Korn Thomas Rath

Published in: TABLEAUX (1995)

Keyphrases

theorem proving
classification accuracy
training data
probabilistic model