Conferences on Intelligent Computer Mathematics - Birmingham 2008
Workshop on Automated Reasoning
Bridging the Gap between Theory and Practice

ARW

Birmingham, UK, 30-31 July 2008

Programme Committee