Difference reduction techniques in automating theorem proving

Project Details

Description

EPSRC Visiting Fellowship GR/K 84981 for Dieter Hutter, (£12,443).
StatusFinished
Effective start/end date1/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.
View full fingerprint