The International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (Tableaux 2011) (External organisation)

Braüner, T. (Member)

Activity: MembershipMembership in committee, council, board

Description

Member of program committee
Period4 Jul 2011 - 8 Jul 2011
Held atThe International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Degree of RecognitionInternational