Skip to main navigation
Skip to search
Skip to main content
Research Explorer The University of Manchester Home
Home
Profiles
Research units
Research output
Projects
Impacts
Activities
Press/Media
Prizes
Equipment
Datasets
Student theses
Search by expertise, name or affiliation
Invited Talk
Sattler, U.
(Speaker)
Information Management
Activity
:
Talk or presentation
›
Invited talk
›
Research
Period
5 Sept 2019
Event title
28th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Event type
Conference
Location
London, United Kingdom
Show on map
Degree of Recognition
International
X