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