Edinburgh Research Explorer
  1. 2012
  2. IJCAR 2012 - The 6th International Joint Conference on Automated Reasoning

    Jacques Fleuriot (Member of programme committee)
    2012

    Activity: Participating in or organising an event typesParticipation in conference

  3. The 9th International Workshop on Automated Deduction in Geometry

    Jacques Fleuriot (Organiser)
    2012

    Activity: Participating in or organising an event typesParticipation in workshop, seminar, course