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 20118 Jul 2011
Held atThe International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Degree of RecognitionInternational