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

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

Beskrivelse

Tableaux 2009

Navn: Member of program committee
Periode7 jul. 2009 → 10 jul. 2009
Sted for afholdelseThe International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Grad af anerkendelseInternational