Managing Proof Documents for Asynchronous Processing.
Holger GastPublished in: Electron. Notes Theor. Comput. Sci. (2009)
Keyphrases
- information retrieval
- document collections
- web documents
- data processing
- real time
- document retrieval
- relevant documents
- information retrieval systems
- theorem prover
- information processing
- database
- text documents
- legal documents
- vector space model
- document classification
- machine learning
- metadata
- test collection
- semantic information
- web search engines
- database systems
- relational databases
- language model
- electronic documents
- xml documents