The International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (Tableaux 2011) (Ekstern organisation)

Braüner, T. (Medlem)

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

Beskrivelse

Tableaux 2011

Member of program committee
Periode4 jul. 2011 - 8 jul. 2011
Sted for afholdelseThe International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Grad af anerkendelseInternational