Original language | English |
---|---|
Publisher | Springer |
Volume | LNAI 5144 |
ISBN (Print) | 9783540851097 |
DOIs | |
Publication status | Published - 1 Jul 2008 |
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/Report › Book