Cargando…

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

This volume contains the collected contributions of two conferences, Calcu- mus2007andMKM2007.Calculemus2007wasthe14thinaseriesofconferences dedicated to the integration of computer algebra systems (CAS) and automated deduction systems (ADS). MKM 2007 was the sixth International Conference on Mathem...

Descripción completa

Detalles Bibliográficos
Clasificación:	Libro Electrónico
Autor Corporativo:	SpringerLink (Online service)
Otros Autores:	Kauers, Manuel (Editor ), Kerber, Manfred (Editor ), Miner, Robert (Editor ), Windsteiger, Wolfgang (Editor )
Formato:	Electrónico eBook
Idioma:	Inglés
Publicado:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007.
Edición:	1st ed. 2007.
Colección:	Lecture Notes in Artificial Intelligence, 4573
Temas:	Algebra. Artificial intelligence. Data mining. Application software. Database management. Computer networks . Artificial Intelligence. Data Mining and Knowledge Discovery. Computer and Information Systems Applications. Database Management. Computer Communication Networks.
Acceso en línea:	Texto Completo

Ejemplares similares

Service-Oriented Computing: Agents, Semantics, and Engineering AAMAS 2007 International Workshop, SOCASE 2007, Honolulu, HI, USA, May 14, 2007, Proceedings /
Publicado: (2007)

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

Active Media Technology 6th International Conference, AMT 2010, Toronto, Canada, August 28-30, 2010, Proceedings /
Publicado: (2010)

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

Data Warehousing and Knowledge Discovery 9th International Conference, DaWaK 2007, Regensburg, Germany, September 3-7, 2007, Proceedings /
Publicado: (2007)

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

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

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

Cooperative Information Agents XI 11th International Workshop, CIA 2007, Delft, The Netherlands, September 19-21, 2007, Proceedings /
Publicado: (2007)

Multidisciplinary Information Retrieval Second Information Retrieval Facility Conference, IRFC 2011, Vienna, Austria, June 6, 2011, Proceedings /
Publicado: (2011)

From Web to Social Web: Discovering and Deploying User and Content Profiles Workshop on Web Mining, WebMine 2006, Berlin, Germany, September 18, 2006 /
Publicado: (2007)

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

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

Web Engineering 11th International Conference, ICWE 2011, Paphos, Cyprus, June 20-24, 2011, Proceedings /
Publicado: (2011)

Semantic Web, Ontologies and Databases VLDB Workshop, SWDB-ODBIS 2007, Vienna, Austria, September 24, 2007, Revised Selected Papers /
Publicado: (2008)

Metadata and Semantic Research 5th International Conference, MTSR 2011, Izmir, Turkey, October 12-14, 2011. Proceedings /
Publicado: (2011)

Future Generation Information Technology Third International Conference, FGIT 2011, Jeju Island, December 8-10, 2011. Proceedings /
Publicado: (2011)

Knowledge Science, Engineering and Management 5th International Conference, KSEM 2011, Irvine, CA, USA, December 12-14, 2011. Proceedings /
Publicado: (2011)

Artificial Intelligence: Methodology, Systems, and Applications 14th International Conference, AIMSA 2010, Varna, Bulgaria, September 8-10, 2010. Proceedings /
Publicado: (2010)

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

Knowledge Management and Acquisition for Smart Systems and Services 11th International Workshop, PKAW 2010, Daegue, Korea, August 30 - 31, 2010, Proceedings /
Publicado: (2010)

Reasoning Web. Semantic Technologies for the Web of Data 7th International Summer School 2011, Galway, Ireland, August 23-27, 2011, Tutorial Lectures /
Publicado: (2011)

Computational Social Networks 4th International Conference, CSoNet 2015, Beijing, China, August 4-6, 2015, Proceedings /
Publicado: (2015)

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

Web-Age Information Management 17th International Conference, WAIM 2016, Nanchang, China, June 3-5, 2016, Proceedings, Part II /
Publicado: (2016)

Web-Age Information Management 17th International Conference, WAIM 2016, Nanchang, China, June 3-5, 2016, Proceedings, Part I /
Publicado: (2016)

Agents and Data Mining Interaction 7th International Workshop, ADMI 2011, Taipei, Taiwan, May 2-6, 2011, Revised Selected Papers /
Publicado: (2012)

Advanced Data Mining and Applications 6th International Conference, ADMA 2010, Chongqing, China, November 19-21, 2010, Proceedings, Part II /
Publicado: (2010)

Advanced Data Mining and Applications 6th International Conference, ADMA 2010, Chongqing, China, November 19-21, 2010, Proceedings, Part I /
Publicado: (2010)

The Semantic Web. Latest Advances and New Domains 13th International Conference, ESWC 2016, Heraklion, Crete, Greece, May 29 -- June 2, 2016, Proceedings /
Publicado: (2016)

Research and Advanced Technology for Digital Libraries 19th International Conference on Theory and Practice of Digital Libraries, TPDL 2015, Poznań, Poland, September 14-18, 2015, Proceedings /
Publicado: (2015)

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)

Digital Libraries: For Cultural Heritage, Knowledge Dissemination, and Future Creation 13th International Conference on Asia-Pacific Digital Libraries, ICADL 2011, Beijing, China, October 24-27, 2011, Proceedings /
Publicado: (2011)

Agents and Data Mining Interaction 6th International Workshop on Agents and Data Mining Interaction, ADMI 2010, Toronto, ON, Canada, May 11, 2010, Revised Selected Papers /
Publicado: (2010)

The Role of Digital Libraries in a Time of Global Change 12th International Conference on Asia-Pacific Digital Libraries, ICADL 2010, Gold Coast, Australia, June 21-25, 2010, Proceedings /
Publicado: (2010)

Advances in Multidisciplinary Retrieval First Information Retrieval Facility Conference, IRFC 2010, Vienna, Austria, May 31, 2010, Proceedings /
Publicado: (2010)

Service-Oriented Computing: Agents, Semantics, and Engineering AAMAS 2008 International Workshop, SOCASE 2008 Estoril, Portugal, May 12, 2008 Proceedings /
Publicado: (2008)

Cannot write session to /tmp/vufind_sessions/sess_jai25ur0ln75q4gbq68ppab6qm