Shortening Proofs by Quantifier Introduction.

Published in: LPAR (1992)

Keyphrases

theorem proving
theorem prover
equational theories
formal proof
formal proofs
neural network
learning algorithm
information systems
website
information technology
user interface
quantifier elimination
mathematical proofs