Intelligent Computer Mathematics. Proceedings of the 9th International Conference (AISC-2008), 15th Symposium (Calculemus-2008), 7th International Conference (MKM-2008)

@proceedings{pub3002,
    editor = {

Autexier, Serge
 and 

Campbell, John
 and 

Rubio, Julio
 and 

Sorge, Volker
 and 

Suzuki, Masakazu
 and 

Wiedijk, Freek
},
    title = {Intelligent Computer Mathematics. Proceedings of the 9th International Conference (AISC-2008), 15th Symposium (Calculemus-2008), 7th International Conference (MKM-2008). International Conference on Mathematical Knowledge Management (MKM-08), befindet sich Conferences on Intelligent Computer Mathematics, CICM'08, July 28-August 1, Birmingham, United Kingdom},
    series = {Lecture Notes in Computer Science/ Lecture Notes in Artificial Intelligence (LNCS/ LNAI)},
    year = {2008},
    volume = {5144},
    publisher = {Springer},
    isbn = {978-3-540-85109-7}
}