Automated Proof Construction in Type Theory Using Resolution.

Marc Bezem Dimitri Hendriks Hans de Nivelle

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

Keyphrases

automatic theorem proving
theoretical basis
theorem prover
automated theorem provers
formal theory
construction process
automated analysis
computer assisted
real time
logic programs
semi automated
data structure
web services
computer vision
computer algebra
genetic algorithm
machine learning