Difference reduction techniques in automating theorem proving

EPSRC Visiting Fellowship GR/K 84981 for Dieter Hutter, (£12,443).

Status	Finished
Effective start/end date	1/10/96 → 31/12/96

Project Details