Intelligent Computer Mathematics 10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010. Proceedings /
Clasificación: | Libro Electrónico |
---|---|
Autor Corporativo: | SpringerLink (Online service) |
Otros Autores: | Autexier, Serge (Editor ), Calmet, Jacques (Editor ), Delahaye, David (Editor ), Ion, P.D.F (Editor ), Rideau, Laurence (Editor ), Rioboo, Renaud (Editor ), Sexton, Alan (Editor ) |
Formato: | Electrónico eBook |
Idioma: | Inglés |
Publicado: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2010.
|
Edición: | 1st ed. 2010. |
Colección: | Lecture Notes in Artificial Intelligence,
6167 |
Temas: | |
Acceso en línea: | Texto Completo |
Ejemplares similares
-
Towards Mechanized Mathematical Assistants 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007, Proceedings /
Publicado: (2007) -
Formal Concept Analysis 8th International Conference, ICFCA 2010, Agadir, Morocco, March 15-18, 2010, Procedings /
Publicado: (2010) -
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 /
Publicado: (2008) -
Intelligent Computer Mathematics 16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009, Grand Bend, Canada, July 6-12, 2009, Proceedings /
Publicado: (2009) -
Intelligent Computer Mathematics 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012, Proceedings /
Publicado: (2012)