Signature Entrenchment and Conceptual Changes in Automated Theory Repair

Xue Li, Alan Bundy, Eugene Philalithis

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

1 results

Finished
The integration and interaction of multiple mathematical Reasoning Processes
Bundy, A., Aspinall, D., Colton, S., Fleuriot, J., Gow, J., Grov, G., Ireland, A., Jackson, P., Mcneill, F., Michaelson, G. & Smaill, A.
EPSRC
1/11/15 → 31/10/19
Project: Research