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

Texto completo


Additional Resources