Skip to main navigation
Skip to search
Skip to main content
University of Edinburgh Research Explorer Home
Help & FAQ
Home
Research output
Profiles
Research Units
Projects
Datasets
Prizes
Activities
Press / Media
Equipment
Search by expertise, name or affiliation
Difference reduction techniques in automating theorem proving
Bundy, Alan
(Principal Investigator)
School of Informatics
Overview
Fingerprint
Project Details
Description
EPSRC Visiting Fellowship GR/K 84981 for Dieter Hutter, (£12,443).
Status
Finished
Effective start/end date
1/10/96
→
31/12/96
View all
View less
Fingerprint
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.
Theorem proving
Engineering & Materials Science
100%