Patching Proofs for Reuse (Extended Abstract).

Thomas Kolbe Christoph Walther

Published in: ECML (1995)

Keyphrases

extended abstract
software reuse
theorem prover
formal proofs
theorem proving
natural deduction
formal proof
machine learning
genetic algorithm
metadata
learning objects
real time
social networks
decision making
information technology
mathematical proofs