Skip to main navigation
Skip to search
Skip to main content
Dansk
English
Home
Profiles
Research Units
Research output
Projects
Activities
Press / Media
Prizes
Search by expertise, name or affiliation
The International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (External organisation)
Braüner, T.
(Member)
Programming, Logic and Intelligent Systems
Activity
:
Membership
›
Membership in committee, council, board
Description
Navn: Member of program committee
Period
7 Jul 2009
→
10 Jul 2009
Held at
The International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Degree of Recognition
International