Workshop on Proof Search in Type-Theoretic Languages, Lindau, Germany

Michael Franssen (Organiser)

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

    Period5 Jul 1998
    Event typeWorkshop