Workshop: Thirty Five years of Automath, Edinburgh

  • Michael Franssen (Organiser)

    Activity: Participating in or organising an event types › Workshop, seminar, course or exhibition › Scientific

    Period10 Apr 2002
    Event typeWorkshop