A Deductive Database for Mathematical Formulas - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Stéphane Dalmas, Marc Gaëtano, Claude Huchet. A Deductive Database for Mathematical Formulas. In Jacques Calmet, Carla Limongelli, editors, Design and Implementation of Symbolic Computation Systems, International Symposium, DISCO 96, Karlsruhe, Germany, September 18-20, 1996, Proceedings. Volume 1128 of Lecture Notes in Computer Science, pages 287-296, Springer, 1996.

This author has not been identified. Look up 'Stéphane Dalmas' in GoogleThis author has not been identified. Look up 'Marc Gaëtano' in GoogleThis author has not been identified. Look up 'Claude Huchet' in Google

runs on WebDSL