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. 20118 jul. 2011
Sted for afholdelseThe International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Grad af anerkendelseInternational