Much Shorter Proofs.

Dick de Jongh Franco Montagna

Published in: Math. Log. Q. (1989)

Keyphrases

theorem proving
natural deduction
theorem prover
formal proof
formal proofs
neural network
information retrieval
special case
decision procedures
mathematical proofs
data sets
expert systems
search space
computer programs
equational theories
automated theorem provers