Proof Movie - A Proof with the Boyer-Moore Prover.

Debora Weber-Wulff

Published in: Formal Aspects Comput. (1993)

Keyphrases

theorem proving
theorem prover
automated theorem proving
proof search
proof planning
linear logic
logical rules
mathematical proofs
geometry theorem proving
computer vision
information systems
case study
face recognition
special case
hidden markov models