Login / Signup
Extraction certifiée dans Coq-en-Coq.
Stéphane Glondu
Published in:
JFLA (2009)
Keyphrases
</>
formal methods
theorem prover
expert systems
case study
three dimensional
training data
support vector
digital images
data extraction