The integration and interaction of multiple mathematical reasoning processes

Bundy, Alan (Principal Investigator)
Aspinall, David (Co-investigator)
Fleuriot, Jacques (Co-investigator)
Jackson, Paul (Co-investigator)
Smaill, Alan (Co-investigator)
Colton, Simon (Co-Investigator (External))
Ireland, Andrew (Co-Investigator (External))
Michaelson, Greg (Co-Investigator (External))

7 Conference contribution
2 Article
1 Paper

1 results

Filter

2015

Could a Computer Create its Own Representations?
Bundy, A., 5 Dec 2015. 2 p.
Research output: Contribution to conference › Paper › peer-review

File