- Computer Science Laboratory Sorbonne Université - CNRS UMR 7606
Sorbonne Universté
Centre National de la Recherche Scientifique

LIP6 supports the Pink October campaign for breast cancer awareness.

LIP6 2003/010

  • 技术报告 «Actes de la conférence Calculemus 2003»
  • Th. Hardin, R. Rioboo
  • 141 pages - 2003-9-10 - document en - http://www.lip6.fr/lip6/reports/2003/lip6.2003.010.pdf 1,759 Ko
  • 联系方式 Renaud.Rioboo (at) nulllip6.fr
  • Ancien Thème : CALFOR
    • 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.