Skip to content
Current students
Alumni
Staff
Log in to deposit
Toggle navigation
University of Westminster
Home
People
Research areas
Latest additions
Search
The 23rd Workshop on Automated Reasoning: Bridging the Gap between Theory and Practice
Title
The 23rd Workshop on Automated Reasoning: Bridging the Gap between Theory and Practice
Event date
19
to end of
20
May 2016
Location
University of Liverpool