Cargando…

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 /

This book constitutes the joint refereed proceedings of the 9th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2008, the 15th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2008, and the 7th International Conference on Ma...

Descripción completa

Detalles Bibliográficos
Clasificación:	Libro Electrónico
Autor Corporativo:	SpringerLink (Online service)
Otros Autores:	Autexier, Serge (Editor ), Campbell, John (Editor ), Rubio, Julio (Editor ), Sorge, Volker (Editor ), Suzuki, Masakazu (Editor ), Wiedijk, Freek (Editor )
Formato:	Electrónico eBook
Idioma:	Inglés
Publicado:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008.
Edición:	1st ed. 2008.
Colección:	Lecture Notes in Artificial Intelligence, 5144
Temas:	Artificial intelligence. Computer networks . Computer science. Data mining. Application software. Computer science-Mathematics. Artificial Intelligence. Computer Communication Networks. Theory of Computation. Data Mining and Knowledge Discovery. Computer and Information Systems Applications. Symbolic and Algebraic Manipulation.
Acceso en línea:	Texto Completo

Ejemplares similares

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

Knowledge-Based Intelligent Information and Engineering Systems 12th International Conference, KES 2008, Zagreb, Croatia, September 3-5, 2008, Proceedings, Part III /
Publicado: (2008)

Knowledge-Based Intelligent Information and Engineering Systems 12th International Conference, KES 2008, Zagreb, Croatia, September 3-5, 2008, Proceedings, Part I /
Publicado: (2008)

Knowledge-Based Intelligent Information and Engineering Systems 12th International Conference, KES 2008, Zagreb, Croatia, September 3-5, 2008, Proceedings, Part II /
Publicado: (2008)

Model-Based Software and Data Integration First International Workshop, MBSDI 2008, Berlin, Germany, April 1-3, 2008, Proceedings /
Publicado: (2008)

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

AI Approaches to the Complexity of Legal Systems - Models and Ethical Challenges for Legal Systems, Legal Language and Legal Ontologies, Argumentation and Software Agents International Workshop AICOL-III, Held as Part of the 25th IVR Congress, Frankfurt am Main, Germany, August 15-16, 2011. Revised Selected Papers /
Publicado: (2012)

Cooperative Information Agents XII 12th International Workshop, CIA 2008, Prague, Czech Republic, September 10-12, 2008, Proceedings /
Publicado: (2008)

Foundations of Intelligent Systems 17th International Symposium, ISMIS 2008 Toronto, Canada, May 20-23, 2008 Proceedings /
Publicado: (2008)

Theory and Applications of Formal Argumentation First International Workshop, TAFA 2011. Barcelona, Spain, July 16-17, 2011, Revised Selected Papers /
Publicado: (2012)

AI Approaches to the Complexity of Legal Systems AICOL 2013 International Workshops, AICOL-IV@IVR, Belo Horizonte, Brazil, July 21-27, 2013 and AICOL-V@SINTELNET-JURIX, Bologna, Italy, December 11, 2013, Revised Selected Papers /
Publicado: (2014)

Scalable Uncertainty Management 8th International Conference, SUM 2014, Oxford, UK, September 15-17, 2014, Proceedings /
Publicado: (2014)

PRICAI 2016: Trends in Artificial Intelligence 14th Pacific Rim International Conference on Artificial Intelligence, Phuket, Thailand, August 22-26, 2016, Proceedings /
Publicado: (2016)

Computational Intelligence and Intelligent Systems 7th International Symposium, ISICA 2015, Guangzhou, China, November 21-22, 2015, Revised Selected Papers /
Publicado: (2016)

Solving Large Scale Learning Tasks. Challenges and Algorithms Essays Dedicated to Katharina Morik on the Occasion of Her 60th Birthday /
Publicado: (2016)

Artificial Intelligence Applications and Innovations 12th IFIP WG 12.5 International Conference and Workshops, AIAI 2016, Thessaloniki, Greece, September 16-18, 2016, Proceedings /
Publicado: (2016)

Artificial Intelligence in Medicine 13th Conference on Artificial Intelligence in Medicine, AIME 2011, Bled, Slovenia, July 2-6, 2011, Proceedings /
Publicado: (2011)

Knowledge Science, Engineering and Management 9th International Conference, KSEM 2016, Passau, Germany, October 5-7, 2016, Proceedings /
Publicado: (2016)

Advances in Web Mining and Web Usage Analysis 9th International Workshop on Knowledge Discovery on the Web, WebKDD 2007, and 1st International Workshop on Social Networks Analysis, SNA-KDD 2007, San Jose, CA, USA, August 12-15, 2007, Revised Papers /
Publicado: (2009)

Case-Based Reasoning Research and Development 19th International Conference on Case-Based Reasoning, ICCBR 2011, London, UK, September 12-15, 2011, Proceedings /
Publicado: (2011)

Agents and Artificial Intelligence Third International Conference, ICAART 2011, Rome, Italy, January 28-30, 2011. Revised Selected Papers /
Publicado: (2013)

Case-Based Reasoning 18th International Conference, ICCBR 2010, Alessandria, Italy, July 19-22, 2010 Proceedings /
Publicado: (2010)

Data Warehousing and Knowledge Discovery 10th International Conference, DaWak 2008 Turin, Italy, September 1-5, 2008, Proceedings /
Publicado: (2008)

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)

Information Intelligence, Systems, Technology and Management 5th International Conference, ICISTM 2011, Gurgaon, India, March 10-12, 2011. Proceedings /
Publicado: (2011)

Modeling and Using Context 9th International and Interdisciplinary Conference, CONTEXT 2015, Lanarca, Cyprus, November 2-6,2015. Proceedings /
Publicado: (2015)

Scalable Uncertainty Management 7th International Conference, SUM 2013, Washington, DC, USA, September 16-18, 2013, Proceedings /
Publicado: (2013)

Towards Mechanized Mathematical Assistants 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007, Proceedings /
Publicado: (2007)

Scaling Topic Maps Third International Conference on Topic Map Research and Applications, TMRA 2007 Leipzig, Germany, October 11-12, 2007 Revised Selected Papers /
Publicado: (2008)

Scalable Uncertainty Management 9th International Conference, SUM 2015, Québec City, QC, Canada, September 16-18, 2015. Proceedings /
Publicado: (2015)

Advanced Data Mining and Applications 12th International Conference, ADMA 2016, Gold Coast, QLD, Australia, December 12-15, 2016, Proceedings /
Publicado: (2016)

Web Information Systems Engineering - WISE 2008 9th International Conference, Auckland, New Zealand, September 1-3, 2008, Proceedings /
Publicado: (2008)

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

Agents and Artificial Intelligence Second International Conference, ICAART 2010, Valencia, Spain, January 22-24, 2010. Revised Selected Papers /
Publicado: (2011)

Knowledge-Based and Intelligent Information and Engineering Systems, Part I 15th International Conference, KES 2011, Kaiserslautern, Germany, September 12-14, 2011, Proceedings, Part I /
Publicado: (2011)

Knowledge-Based and Intelligent Information and Engineering Systems, Part IV 15th International Conference, KES 2011, Kaiserslautern, Germany, September 12-14, 2011, Proceedings, Part IV /
Publicado: (2011)

Knowledge-Based and Intelligent Information and Engineering Systems, Part III 15th International Conference, KES 2011, Kaiserslautern, Germany, September 12-14, 2011, Proceedings, Part III /
Publicado: (2011)

Knowledge-Based and Intelligent Information and Engineering Systems, Part II 15th International Conference, KES 2011, Kaiserslautern, Germany, September 12-14, 2011, Proceedings, Part II /
Publicado: (2011)

Scalable Uncertainty Management 4th International Conference, SUM 2010, Toulouse, France, September 27-29, 2010, Proceedings /
Publicado: (2010)

Scalable Uncertainty Management 6th International Conference, SUM 2012, Marburg, Germany, September 17-19, 2012, Proceedings /
Publicado: (2012)