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