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

Braüner, T. (Member)

Activity: MembershipMembership in committee, council, board

Description

Navn: Member of program committee
Period7 Jul 2009 - 10 Jul 2009
Held atThe International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Degree of RecognitionInternational