Intelligent Computer Mathematics, Joint Proceedings of AISC 2008, Calculemus 2008, and MKM 2008, Birmingham, UK, 28 July - 1 August, 2008

S Autexier, J Campbell, J Rubio, Volker Sorge, M Suzuki, F Wiedijk

Research output: Book/ReportBook

Original languageEnglish
PublisherSpringer
VolumeLNAI 5144
ISBN (Print)9783540851097
DOIs
Publication statusPublished - 1 Jul 2008

Cite this