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ømmelse › Peer reviewer/fagfællebedømmer af manuskripter › Forskning