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).

E-book

Add to basket Remove from basket

Print / Email

Permalink

Disable Highlighting

Electronic resources

Record details

• ISBN: 9783540851103
• Physical Description: online resource.
• Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Search for related items by subject

Search for related items by series

• Lecture Notes in Computer Science, 0302-9743 ; 5144
• Lecture Notes in Computer Science, 0302-9743 ; 5144