Projects per year
Original language | English |
---|---|
Journal | ECAI-10 Workshop on Automated Reasoning about Context and Ontology Evolution |
Publication status | Published - 2010 |
Projects
- 1 Finished
-
Integration and Interaction of multiple mathematical reasoning processes
Bundy, A., Colton, S., Aspinall, D., Dennis, L., Fleuriot, J., Georgieva, L., Ireland, A., Jackson, P. & Smaill, A.
1/04/07 → 31/03/11
Project: Research