CALCULEMUS-2003 - 11th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, September 10-12 2003, Roma, Italy - Archive ouverte HAL Accéder directement au contenu
Proceedings/Recueil Des Communications Année : 2003

CALCULEMUS-2003 - 11th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, September 10-12 2003, Roma, Italy

Actes de la conférence Calculemus 2003

Thérèse Hardin
  • Fonction : Auteur
  • PersonId : 858297
Renaud Rioboo
  • Fonction : Auteur
  • PersonId : 966166

Résumé

This report presents the proceedings of the Calculemus 2003 conference that was held in Rome on september 10-12 2003. Calculemus is aboutthe interaction between Computer Algebra systems and Prrof Deductionsystems. the conference was organized in conjunction with TABLEAUX 2003 and TPHOLs 2003.
Ce rapport présente les actes de la conférence Calculemus 2003 qui s'est tenue a Rome du 10 au 12 septembre 2003. Calculemus traite de l'interaction entre les systèmes de calcul formel et les systèmes d'aide à la preuve. La conférence a ete organisée en association avec TABLEAUX 2003 et TPHOLs 2003.
Fichier principal
Vignette du fichier
lip6.2003.010.pdf (1.68 Mo) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-02549766 , version 1 (21-04-2020)

Identifiants

  • HAL Id : hal-02549766 , version 1

Citer

Thérèse Hardin, Renaud Rioboo. CALCULEMUS-2003 - 11th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, September 10-12 2003, Roma, Italy. Thérèse Hardin; Renaud Rioboo. CALCULEMUS-2003 - 11th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Sep 2003, Rome, Italy. lip6.2003.010, LIP6; Aracne Editrici, 2003. ⟨hal-02549766⟩
42 Consultations
210 Téléchargements

Partager

Gmail Facebook X LinkedIn More