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/97 → 30/09/98
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