Intelligent Computer Mathematics
@proceedings{ACRSSW-08-a, editor = {Serge Autexier and John Campbell and Julio Rubio and Volker Sorge and Masakazu Suzuki and Freek Wiedijk}, title = {Intelligent Computer Mathematics}, volume = {5144}, series = {LNAI}, publisher = {Springer}, address = {Birmingham, UK}, month = {july}, year = {2008}, }