Catalog

Record Details

Catalog Search



Intelligent Computer Mathematics 9th International Conference, AISC 2008, 15th Symposium, Calculemus 2008, 7th International Conference, MKM 2008, Birmingham, UK, July 28 - August 1, 2008. Proceedings  Cover Image E-book E-book

Intelligent Computer Mathematics [electronic resource] : 9th International Conference, AISC 2008, 15th Symposium, Calculemus 2008, 7th International Conference, MKM 2008, Birmingham, UK, July 28 - August 1, 2008. Proceedings / edited by Serge Autexier, John Campbell, Julio Rubio, Volker Sorge, Masakazu Suzuki, Freek Wiedijk.

Autexier, Serge. (editor.). Campbell, John. (editor.). Rubio, Julio. (editor.). Sorge, Volker. (editor.). Suzuki, Masakazu. (editor.). Wiedijk, Freek. (editor.). SpringerLink (Online service) (Added Author).

Electronic resources



Additional Resources