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
The integration and interaction of multiple mathematical Reasoning Processes
Bundy, Alan
(Principal Investigator)
Aspinall, David
(Co-Investigator (External))
Colton, Simon
(Co-Investigator (External))
Fleuriot, Jacques
(Co-Investigator (External))
Gow, Jeremy
(Co-Investigator (External))
Grov, Gudmund
(Co-Investigator (External))
Ireland, Andrew
(Co-Investigator (External))
Jackson, Paul
(Co-Investigator (External))
Mcneill, Fiona
(Co-Investigator (External))
Michaelson, Greg
(Co-Investigator (External))
Smaill, Alan
(Co-Investigator (External))
School of Informatics
Laboratory for Foundations of Computer Science
Data Science and Artificial Intelligence
Foundations of Computation
Language, Interaction and Robotics
Overview
Fingerprint
Research output
(28)
Research output
Research output per year
2013
2015
2016
2017
2021
14
Conference contribution
7
Article
3
Chapter (peer-reviewed)
1
Chapter
3
More
1
Paper
1
Book/Film/Article review
1
Working paper
Research output per year
Research output per year
1 results
Title
(ascending)
Publication Year, Title
Title
(descending)
Type
Filter
Paper
Search results
Could a Computer Create its Own Representations?
Bundy, A.
,
5 Dec 2015
.
2 p.
Research output
:
Contribution to conference
›
Paper
›
peer-review
File