Taclets and the KeY Prover.

Published in: Electron. Notes Theor. Comput. Sci. (2004)

Keyphrases

databases
theorem proving
information retrieval
information systems
high quality
e learning
image processing
multimedia
case study
multiscale
image analysis
theorem prover
automated theorem proving