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
Activity: Membership › Membership in committee, council, board