A New Extraction for Coq.

Pierre Letouzey

Published in: TYPES (2002)

Keyphrases

information extraction
automatically extracted
database
machine learning
automatic extraction
image segmentation
three dimensional
pattern recognition
knowledge extraction