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
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.
| Origine | Fichiers produits par l'(les) auteur(s) |
|---|