Correction de conjectures fausses par synthèse de programmes.

Francis Alexandre Khaled Bsaïes Moussa Demba

Published in: Tech. Sci. Informatiques (2003)

Keyphrases

error correction
higher education
theorem prover
data sets
lifelong learning
data mining
learning algorithm
image processing
three dimensional
relational databases
multiresolution
inductive inference
error detection
corporate training