6th International Joint Conference on Automated Reasoning (IJCAR 2012) (External organisation)

Braüner, T. (Member)

Activity: Membership › Membership in committee, council, board

Description

Member of program committee
Period25 Jun 2012 → 29 Jun 2012
Held atInternational Joint Conference on Automated Reasoning
Degree of RecognitionInternational