Association for Automated Reasoning (External organisation)

Activity: MembershipMembership of review committee

Description

Navn: Member

Body type: not-for-profit corporation
Period17. Jul 2007 → …
Held atAssociation for Automated Reasoning
Degree of RecognitionInternational