Projects per year
Projects
- 1 Finished
Search results
-
Finished
CogMod: A congnitive model of axiom formulation and reformulation with application to AI and software engineering
Smaill, A. (Principal Investigator) & Clark, A. (Co-investigator)
1/05/08 → 30/04/11
Project: Research