Structuring Resolution Proofs by Introducing New Lemmata.

Published in: J. Autom. Reason. (1997)

Keyphrases

theorem proving
high resolution
low resolution
consequence finding
theorem prover
formal proof
real time
information systems
feature selection
artificial neural networks
sampling rate
image resolution