Reusing Proofs.

Thomas Kolbe Christoph Walther

Published in: ECAI (1994)

Keyphrases

theorem proving
learning objects
theorem prover
formal proofs
equational theories
image sequences
pattern recognition
multi agent systems
formal proof
mathematical proofs
database
image processing
medical images
mathematical knowledge