Cargando…

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

Ejemplares similares

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)

Rough Sets and Knowledge Technology 9th International Conference, RSKT 2014, Shanghai, China, October 24-26, 2014, Proceedings /
Publicado: (2014)

Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing 15th International Conference, RSFDGrC 2015, Tianjin, China, November 20-23, 2015, Proceedings /
Publicado: (2015)

Rough Sets and Knowledge Technology 10th International Conference, RSKT 2015, Held as Part of the International Joint Conference on Rough Sets, IJCRS 2015, Tianjin, China, November 20-23, 2015, Proceedings /
Publicado: (2015)

Modeling Decisions for Artificial Intelligence 10th International Conference, MDAI 2013, Barcelona, Spain, November 20-22, 2013, Proceedings /
Publicado: (2013)

Modeling Decisions for Artificial Intelligence 13th International Conference, MDAI 2016, Sant Julià de Lòria, Andorra, September 19-21, 2016. Proceedings /
Publicado: (2016)

Rough Sets and Current Trends in Computing 9th International Conference, RSCTC 2014, Granada and Madrid, Spain, July 9-13, 2014, Proceedings /
Publicado: (2014)

Rough Sets and Current Trends in Computing 8th International Conference, RSCTC 2012, Chengdu, China, August 17-20, 2012.Proceedings /
Publicado: (2012)

Rough Sets and Knowledge Technology 7th International Conference, RSKT 2012, Chengdu, China, August 17-20, 2012, Proceedings /
Publicado: (2012)

Rough Sets and Knowledge Technology 8th International Conference, RSKT 2013, Halifax, NS, Canada, October 11-14, 2013, Proceedings /
Publicado: (2013)

Computational Intelligence and Intelligent Systems 6th International Symposium, ISICA 2012, Wuhan, China, October 27-28, 2012. Proceedings /
Publicado: (2012)

Computer Mathematics 8th Asian Symposium, ASCM 2007, Singapore, December 15-17, 2007, Revised and Invited Papers /
Publicado: (2008)

Advances in Swarm and Computational Intelligence 6th International Conference, ICSI 2015 held in conjunction with the Second BRICS Congress, CCI 2015, Beijing, June 25-28, 2015, Proceedings, Part II /
Publicado: (2015)

Advances in Swarm and Computational Intelligence 6th International Conference, ICSI 2015 held in conjunction with the Second BRICS Congress, CCI 2015, Beijing, China, June 25-28, 2015, Proceedings, Part III /
Publicado: (2015)

Advances in Swarm and Computational Intelligence 6th International Conference, ICSI 2015, held in conjunction with the Second BRICS Congress, CCI 2015, Beijing, China, June 25-28, 2015, Proceedings, Part I /
Publicado: (2015)

Intelligent Computing for Sustainable Energy and Environment Second International Conference, ICSEE 2012, Shanghai, China, September 12-13, 2012. Revised Selected Papers /
Publicado: (2013)

Advances in Swarm Intelligence 7th International Conference, ICSI 2016, Bali, Indonesia, June 25-30, 2016, Proceedings, Part II /
Publicado: (2016)

Advances in Swarm Intelligence 7th International Conference, ICSI 2016, Bali, Indonesia, June 25-30, 2016, Proceedings, Part I /
Publicado: (2016)

Transactions on Computational Science XXI Special Issue on Innovations in Nature-Inspired Computing and Applications /
Publicado: (2013)

Advances in Swarm Intelligence 4th International Conference, ICSI 2013, Harbin, China, June 12-15, 2013, Proceedings, Part I /
Publicado: (2013)

Advances in Swarm Intelligence 4th International Conference, ICSI 2013, Harbin, China, June 12-15, 2013, Proceedings, Part II /
Publicado: (2013)

Modeling Decisions for Artificial Intelligence 12th International Conference, MDAI 2015, Skövde, Sweden, September 21-23, 2015, Proceedings /
Publicado: (2015)

Advances in Swarm Intelligence 5th International Conference, ICSI 2014, Hefei, China, October 17-20, 2014, Proceedings, Part II /
Publicado: (2014)

Advances in Swarm Intelligence 5th International Conference, ICSI 2014, Hefei, China, October 17-20, 2014, Proceedings, Part I /
Publicado: (2014)

Modeling Decisions for Artificial Intelligence 11th International Conference, MDAI 2014, Tokyo, Japan, October 29-31, 2014, Proceedings /
Publicado: (2014)

Artificial Intelligence and Symbolic Computation 8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006, Proceedings /
Publicado: (2006)

Modeling Decisions for Artificial Intelligence 9th International Conference, MDAI 2012, Girona, Catalonia, Spain, November 21-23, 2012, Proceedings /
Publicado: (2012)

Learning Classifier Systems 11th International Workshop, IWLCS 2008, Atlanta, GA, USA, July 13, 2008, and 12th International Workshop, IWLCS 2009, Montreal, QC, Canada, July 9, 2009, Revised Selected Papers /
Publicado: (2010)

Multi-disciplinary Trends in Artificial Intelligence 8th International Workshop, MIWAI 2014, Bangalore, India, December 8-10, 2014, Proceedings /
Publicado: (2014)

Computational Intelligence for Multimedia Understanding International Workshop, MUSCLE 2011, Pisa, Italy, December 13-15, 2011, Revised Selected Papers /
Publicado: (2012)

Knowledge-Based and Intelligent Information and Engineering Systems 13th International Conference, KES 2009, Santiago, Chile, September 28-30, 2009, Proceedings, Part II /
Publicado: (2009)

Knowledge-Based and Intelligent Information and Engineering Systems 13th International Conference, KES 2009, Santiago, Chile, September 28-30, 2009, Proceedings, Part I /
Publicado: (2009)

Implicit Curves and Surfaces: Mathematics, Data Structures and Algorithms
por: Gomes, Abel, et al.
Publicado: (2009)

Agents and Artificial Intelligence International Conference, ICAART 2009, Porto, Portugal, January 19-21, 2009. Revised Selected Papers /
Publicado: (2010)

Swarm Intelligence 7th International Conference, ANTS 2010, Brussels, Belgium,September 8-10, 2010 Proceedings /
Publicado: (2010)

Agent and Multi-Agent Systems: Technologies and Applications Third KES International Symposium, KES-AMSTA 2009, Uppsala, Sweden, June 3-5, 2009, Proceedings /
Publicado: (2009)

Modeling Decision for Artificial Intelligence 8th International Conference, MDAI 2011, Changsha, Hunan, China, July 28-30, 2011, Proceedings /
Publicado: (2011)

Agents and Data Mining Interaction 10th International Workshop, ADMI 2014, Paris, France, May 5-9, 2014, Revised Selected Papers /
Publicado: (2015)

Neural Networks and Artificial Intelligence 8th International Conference, ICNNAI 2014, Brest, Belarus, June 3-6, 2014. Proceedings /
Publicado: (2014)

Intelligent Computer Mathematics 18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011, Proceedings /
Publicado: (2011)