Organisation Committee Dagstuhl Seminar on Deduction (External organisation)

Activity: MembershipMembership of committeeResearch

Period14 Sept 20172021
Held atOrganisation Committee Dagstuhl Seminar on Deduction, Germany
Degree of RecognitionInternational