Interactive Theorem Proving with Tasks.

Malte Hübner Serge Autexier Christoph Benzmüller Andreas Meier

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

Keyphrases

interactive theorem proving
application scenarios
search algorithm
data sets
real world
information retrieval
multiresolution
domain knowledge
natural language processing
multiple tasks