Skip to main navigation
Skip to search
Skip to main content
University of Edinburgh Research Explorer Home
Help & FAQ
Home
Research output
Profiles
Research Units
Projects
Datasets
Prizes
Activities
Press / Media
Equipment
Search by expertise, name or affiliation
Automated Deduction and Program Synthesis
Bundy, Alan
(Principal Investigator)
School of Informatics
Overview
Fingerprint
Project Details
Description
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
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.
deduction
Social Sciences
100%
USSR
Social Sciences
76%