Translating Machine-Generated Resolution Proofs into ND-Proofs at the Assertion Level.

Published in: PRICAI (1996)

Keyphrases

theorem proving
formal proof
equational theories
formal proofs
decision making
natural deduction
decision procedures
theorem prover
information systems
multiscale
automatically generated
modal logic
computer programs
data sets
image quality
high resolution
data structure
image processing
neural network