Request a printed prospectus
Find a course
Here's why to study with us
Visit Huddersfield
Top reasons to study here
Get a postgraduate prospectus
Postgraduate researchers
Excellent training for staff
Step by step help to apply
Excellent range of facilities
Interdisciplinary research
as your first choice
We have great accommodation
Explore our beautiful campus
Location, location, location..
Explore our course portfolio
Discover our competitive fees
See if you are eligible
For international students
Araghi, Amir (2006) Infrastructure for web services that perform automated reasoning. In: Proceedings of Computing and Engineering Annual Researchers' Conference 2006: CEARC’06. University of Huddersfield, Huddersfield, pp. 1-6.