Internalizing labelled deduction.

Patrick Blackburn

Published in: J. Log. Comput. (2000)

Keyphrases

inference rules
theorem proving
automated deduction
automated theorem proving
learning algorithm
feature selection
search algorithm
computational complexity
dynamic programming
computer algebra