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

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

Beskrivelse

Member of program committee
Periode25 sep. 2017 → 28 sep. 2017
BegivenhedstitelThe 26th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
BegivenhedstypeKonference
PlaceringBrasilia, BrasilienVis på kort
Grad af anerkendelseInternational