Intelligent Computer Mathematics 16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009, Grand Bend, Canada, July 6-12, 2009, Proceedings /

This book constitutes the joint refereed proceedings of the 16th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2009 and the 8th International Conference on Mathematical Knowledge Management, MKM 2009, held in Grand Bend, Canada, as CICM 2009, the Conferenc...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Carette, Jacques (Editor ), Dixon, Lucas (Editor ), Sacerdoti Coen, Claudio (Editor ), Watt, Stephen (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009.
Edición:1st ed. 2009.
Colección:Lecture Notes in Artificial Intelligence, 5625
Temas:
Artificial intelligence.
Computer science.
Data mining.
Application software.
Computer science-Mathematics.
Numerical analysis.
Artificial Intelligence.
Theory of Computation.
Data Mining and Knowledge Discovery.
Computer and Information Systems Applications.
Symbolic and Algebraic Manipulation.
Numerical Analysis.
Acceso en línea:Texto Completo

Internet

Texto Completo

Items no disponibles

Items no disponibles

Detalle de Existencias desde

Ejemplares similares