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/9631/12/96