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

Braüner, T. (Medlem)

Aktivitet: MedlemsskabMedlemskab af udvalg, råd og nævn

Beskrivelse

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

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