Factoring an Adequacy Proof (Preliminary Report).

Roy L. Crole Andrew D. Gordon

Published in: Functional Programming (1993)

Keyphrases

proof theory
theorem proving
theorem prover
geometry theorem proving
computer vision
data sets
logic programming
logical rules
natural deduction
automated theorem proving
linear logic
description logics
probabilistic model
hidden markov models
multiresolution
decision making
databases