LIP6 2003/010

• Rapport technique
  Actes de la conférence Calculemus 2003
• Th. Hardin, R. Rioboo
• 141 pages - 10/09/2003- document en - http://www.lip6.fr/lip6/reports/2003/lip6.2003.010.pdf - 1,759 Ko
• Contact : Renaud.Rioboo (at) nulllip6.fr
• Ancien Thème : CALFOR
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.
• Mots clés : Calculemus, systèmes d'aide à la preuve, calcul formel
• Directeur de la publication : David.Massot (at) nulllip6.fr