Proofs, Proofs, Proofs, and Proofs

Research output: Contribution to conference (unpublished)Paper

Authors

  • S Autexier
  • J Calmet
  • D Delahaye
  • P Ion
  • L Rideau
  • R Riobo

Colleges, School and Institutes

Details

Original languageEnglish
Pages345-354
Number of pages10
Publication statusPublished - 1 Jul 2010
Event9th International Conference on Mathematical Knowledge Management, Jul 05-10, 2010. Paris, France -
Duration: 1 Jan 2010 → …

Conference

Conference9th International Conference on Mathematical Knowledge Management, Jul 05-10, 2010. Paris, France
Period1/01/10 → …