Automated Deduction and Program Synthesis

Project Details

Description

INTAS-RFBR 95-0095 (with four Western European and five former Soviet Union sites)
(£2,114)
StatusFinished
Effective start/end date1/10/9730/09/98

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.