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

Aktivitet: Medlemsskab › Medlemskab af udvalg, råd og nævn

Beskrivelse

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

Member of program committee
Periode25 jun. 2012 → 29 jun. 2012
Sted for afholdelseInternational Joint Conference on Automated Reasoning
Grad af anerkendelseInternational