Login / Signup
Compétitions de démonstrateurs de théorèmes.
Dominique Pastre
Published in:
Rev. d'Intelligence Artif. (2001)
Keyphrases
</>
manufacturing process
qualitative and quantitative
machine learning
knowledge base
computer assisted