Calcul formel : ce qu'il y a dans la boîte

Paul Zimmermann 1
1 EURECA - Proof, Symbolic Computation and Logic
CRIN - Centre de Recherche en Informatique de Nancy, UHP - Université Henri Poincaré - Nancy 1
Résumé : no abstract
Document type :
Book sections
Complete list of metadatas

https://hal.inria.fr/hal-00917752
Contributor : Paul Zimmermann <>
Submitted on : Thursday, December 12, 2013 - 12:42:50 PM
Last modification on : Monday, January 28, 2019 - 6:34:02 PM

Identifiers

  • HAL Id : hal-00917752, version 1

Collections

Citation

Paul Zimmermann. Calcul formel : ce qu'il y a dans la boîte. Nicole Berline and Claude Sabbah. Journées X-UPS 97, École Polytechnique, pp.47--62, 1997. ⟨hal-00917752⟩

Share

Metrics

Record views

51