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
6th International Joint Conference on Automated Reasoning (IJCAR 2012) (External organisation)
Braüner, T.
(Member)
Programming, Logic and Intelligent Systems
Activity
:
Membership
›
Membership in committee, council, board
Description
Member of program committee
Period
25 Jun 2012
→
29 Jun 2012
Held at
International Joint Conference on Automated Reasoning
Degree of Recognition
International