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

Aktivitet: Medlemsskab › Medlemskab 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