Automated Deduction and Program Synthesis

Project Details

INTAS-RFBR 95-0095 (with four Western European and five former Soviet Union sites)
(£2,114)

Status	Finished
Effective start/end date	1/10/97 → 30/09/98