Workshop: Thirty Five years of Automath, Edinburgh

Michael Franssen (Organiser)

    Activity: Participating in or organising an event typesWorkshop, seminar, course or exhibitionScientific

    Period10 Apr 2002
    Event typeWorkshop