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

Braüner, T. (Member)

Activity: Membership › Membership 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