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

  • Michael Franssen (Organiser)

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

    Period5 Jul 1998
    Event typeWorkshop