Association for Automated Reasoning (Ekstern organisation)

Aktivitet: MedlemskabMedlemskab af bedømmelsesudvalg

Beskrivelse

Navn: Member

Body type: not-for-profit corporation
Periode17. jul. 2007 → …
Sted for afholdelseAssociation for Automated Reasoning
Grad af anerkendelseInternational