Login / Signup
Information Retrieval in a Coq Proof Library Using Type Isomorphisms.
David Delahaye
Published in:
TYPES (1999)
Keyphrases
</>
information retrieval
theorem prover
search engine
information retrieval systems
formal methods
question answering
vector space model
information filtering
information extraction
language model
document collections
test collection
theorem proving
natural deduction