The 26th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (Begivenhed)

Braüner, T. (Medlem)

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

Beskrivelse

Member of program committee
Periode25 sep. 2017 - 28 sep. 2017
BegivenhedstypeKonference
PlaceringBrasilia, Brasilien
Grad af anerkendelseInternational