Intelligent Computer Mathematics 2010 (CICM 2010)

@proceedings{pub4916,
    editor = {

Autexier, Serge
 and 

Calmet, Jacques
 and 

Delahaye, David
 and 

Ion, Patrick D. F.
 and 

Rideau, Laurence
 and 

Rioboo, Renaud
 and 

Sexton, Alan P.
},
    title = {Intelligent Computer Mathematics 2010 (CICM 2010). Conferences on Intelligent Computer Mathematics (CICM-10), 10th International Conference  AISC 2010, 17th Symposium  Calculemus 2010 and 9th International Conference  MKM 2010, located at Conferences on Intelligent Computer Mathematics, July 5-10, Paris, France},
    series = {LNCS (LNCS)},
    year = {2010},
    month = {7},
    volume = {6167},
    organization = {CNAM},
    publisher = {Springer},
    isbn = {978-3-642-14127-0}
}