Skip to content

Current students
Alumni
Staff
Log in to deposit

University of Westminster

Home
People
Research areas
Latest additions

Joint Automated Reasoning Workshop and Deduktionstreffen

Title	Joint Automated Reasoning Workshop and Deduktionstreffen
Event date	23 to end of 24 Jul 2014
Location	Vienna

University of Westminster

309 Regent Street
London W1B 2HW

Switchboard: +44 (0)20 7911 5000

View full contact details

View maps and directions

Powered by

University of Westminster is a charity and a company limited by guarantee. Reg no. 977818 England
© WestminsterResearch 2020

Accessibility statement
Cookies
Terms of use