The Automation of Proof by Mathematical Induction

Project Details

Description

ESPRIT Working Group grant EC-US 019-76094, (Funding the interaction of ten sites, £18,000).
StatusFinished
Effective start/end date1/10/9230/09/94

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.