Skip to main navigation
Skip to search
Skip to main content
University of Edinburgh Research Explorer Home
Help & FAQ
Press / Media
Search by expertise, name or affiliation
Difference reduction techniques in automating theorem proving
School of Informatics
EPSRC Visiting Fellowship GR/K 84981 for Dieter Hutter, (£12,443).
Effective start/end date
Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.
Engineering & Materials Science
View full fingerprint