Conferences on Intelligent Computer Mathematics - Birmingham 2008

Empirically Successful
Automated Reasoning for Mathematics
(ESARM) - 27th July 2008