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

Blackburn, P. R. (Editorial Board Member)

Activity: Editorial work and peer reviewPeer review of manuscriptsResearch

Period6 Sep 20219 Sep 2021
Event typeConference
Conference number30
LocationBirmingham, United Kingdom
Degree of RecognitionInternational