Proofs as Description of Computation.

Published in: CADE (1980)

Keyphrases

special case
theorem proving
decision procedures
efficiently computing
information retrieval
website
three dimensional
high level
object recognition
multiresolution
formal proofs