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

Aktivitet: Redaktionelt arbejde og fagfællebedømmelsePeer reviewer/fagfællebedømmer af manuskripterForskning

Periode6 sep. 20219 sep. 2021
BegivenhedstypeKonference
Konferencenummer30
PlaceringBirmingham, Storbritannien
Grad af anerkendelseInternational