Automated Proof Construction in Type Theory Using Resolution.

Marc Bezem Dimitri Hendriks Hans de Nivelle

Published in: CADE (2000)

Keyphrases

automatic theorem proving
semi automated
low resolution
theoretical framework
fully automated
high resolution
theoretical basis
construction process
neural network
information retrieval
digital libraries
theorem prover
image resolution
general theory
consequence finding