34th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
- Jalali Keshavarz, R. (Keynote speaker)
Activity: Academic conferences and events (excluding conference publications) › Keynote presentation or prestigious invited talk