The 26th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (Event)

Braüner, T. (Member)

Activity: MembershipMembership in committee, council, board

Description

Member of program committee
Period25 Sep 201728 Sep 2017
Event titleThe 26th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Event typeConference
LocationBrasilia, Brazil
Degree of RecognitionInternational