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.