Lecture Notes in Computer Science
Volume 5144, 2008, DOI: 10.1007/978-3-540-85110-3

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

Serge Autexier, John Campbell, Julio Rubio, Volker Sorge, Masakazu Suzuki and Freek Wiedijk

Search within

Browse This Book

About This Book

Title
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
Editors
Collection
Computer Science
Subjects
None Assigned
Copyright Year
2008
DOI
10.1007/978-3-540-85110-3
ISBN
978-3-540-85109-7
Additional Links
Publisher
Springer Berlin / Heidelberg
SpringerLink Date
Sunday, July 27, 2008

About This Book Series

Title
Lecture Notes in Computer Science
Coverage
Volume 1 / 1973 - Volume 7260 / 2012
Collection
Computer Science
Subjects
ISSN
0302-9743 (Print)
1611-3349 (Online)
Additional Links
Publisher
Springer Berlin / Heidelberg
SpringerLink Date
Friday, April 05, 2002