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

Braüner, T. (Medlem)

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

Beskrivelse

Tableaux 2009

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