Extraction in Coq: An Overview.

Pierre Letouzey

Published in: CiE (2008)

Keyphrases

knowledge extraction
pattern recognition
information extraction
data sets
automatically extracted
object extraction
metadata
high level
image sequences
search algorithm
relational databases
theorem prover
automatically extracting