MRG home page
Research
Publications
Software
People
SUMO Service Providing Agents
doAAgent:
Sig
,
Thy
doBAgent:
Sig
,
Thy
tellAgent:
Sig
,
Thy
Links
Main Project Page
The Mathematical Reasoning Group
Funding
The project is funded by
EPSRC
.
Webpage maintained by Fiona McNeill
