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

Blackburn, P. R. (Medlem af redaktionsudvalg)

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