Claude Huchet

Publication Activity (10 Years)

Years Active: 1996-1996
Publications (10 Years): 0

Publications

Stéphane Dalmas, Marc Gaëtano, Claude Huchet
A Deductive Database for Mathematical Formulas. DISCO (1996)