Loading…

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

This book constitutes the joint refereed proceedings of three international events, namely the 18th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2011, the 10th International Conference on Mathematical Knowledge Management, MKM 2011, and a new track on Sys...

Full description

Bibliographic Details
Call Number:	Libro Electrónico
Corporate Author:	SpringerLink (Online service)
Other Authors:	Davenport, James H. (Editor), Farmer, William M. (Editor), Rabe, Florian (Editor), Urban, Josef (Editor)
Format:	Electronic eBook
Language:	Inglés
Published:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011.
Edition:	1st ed. 2011.
Series:	Lecture Notes in Artificial Intelligence, 6824
Subjects:	Artificial intelligence. Application software. Database management. Information storage and retrieval systems. Machine theory. Data mining. Artificial Intelligence. Computer and Information Systems Applications. Database Management. Information Storage and Retrieval. Formal Languages and Automata Theory. Data Mining and Knowledge Discovery.
Online Access:	Texto Completo

Similar Items

Computational Processing of the Portuguese Language 12th International Conference, PROPOR 2016, Tomar, Portugal, July 13-15, 2016, Proceedings /
Published: (2016)

Information Processing and Management of Uncertainty 15th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2014, Montpellier, France, July 15-19, 2014. Proceedings, Part III /
Published: (2014)

Information Processing and Management of Uncertainty 15th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2014, Montpellier, France, July 15-19, 2014. Proceedings, Part I /
Published: (2014)

Information Processing and Management of Uncertainty 15th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2014, Montpellier, France, July 15-19, 2014. Proceedings, Part II /
Published: (2014)

Computational Processing of the Portuguese Language 10th International Conference, PROPOR 2012, Coimbra, Portugal, April 17-20, 2012, Proceedings /
Published: (2012)

Advances in Natural Language Processing 9th International Conference on NLP, PolTAL 2014, Warsaw, Poland, September 17-19, 2014. Proceedings /
Published: (2014)

Computational Processing of the Portuguese Language 11th International Conference, PROPOR 2014, Sao Carlos/SP, Brazil, October 6-8, 2014, Proceedings /
Published: (2014)

Advances in Natural Language Processing 8th International Conference on NLP, JapTAL 2012, Kanazawa, Japan, October 22-24, 2012, Proceedings /
Published: (2012)

Reasoning Web - Semantic Technologies for Advanced Query Answering 8th International Summer School 2012, Vienna, Austria, September 3-8, 2012. Proceedings /
Published: (2012)

Semantic Processing of Legal Texts Where the Language of Law Meets the Law of Language /
Published: (2010)

Artificial Intelligence Applications and Innovations 12th International Conference, EANN 2011 and 7th IFIP WG 12.5 International Conference, AIAI 2011, Corfu, Greece, September 15-18, 2011, Proceedings, Part II /
Published: (2011)

Semantic Technology 6th Joint International Conference, JIST 2016, Singapore, Singapore, November 2-4, 2016, Revised Selected Papers /
Published: (2016)

Advanced Data Mining and Applications 7th International Conference, ADMA 2011, Beijing, China, December 17-19, 2011, Proceedings, Part II /
Published: (2011)

Advanced Data Mining and Applications 7th International Conference, ADMA 2011, Beijing, China, December 17-19, 2011, Proceedings, Part I /
Published: (2011)

Transactions on Large-Scale Data- and Knowledge-Centered Systems XXII
Published: (2015)

Database Theory and Application, Bio-Science and Bio-Technology International Conferences, DTA and BSBT 2011, Held as Part of the Future Generation Information Technology Conference, FGIT 2011, in Conjunction with GDC 2011, Jeju Island, Korea, December 8-10, 2011. Proceedings /
Published: (2011)

Discovery Science 14th International Conference, DS 2011, Espoo, Finland, October 5-7, Proceedings /
Published: (2011)

Integrated Uncertainty in Knowledge Modelling and Decision Making International Symposium, IUKM 2011, Hangzhou, China, October 28-30, 2011, Proceedings /
Published: (2011)

Intelligent Information and Database Systems 5th Asian Conference, ACIIDS 2013, Kuala Lumpur, Malaysia, March 18-20, 2013, Proceedings, Part II /
Published: (2013)

Intelligent Information and Database Systems 5th Asian Conference, ACIIDS 2013, Kuala Lumpur, Malaysia, March 18-20, 2013, Proceedings, Part I /
Published: (2013)

Advanced Data Mining and Applications 8th International Conference, ADMA 2012, Nanjing, China, December 15-18, 2012, Proceedings /
Published: (2012)

New Frontiers in Artificial Intelligence JSAI-isAI 2011 Workshops, LENLS, JURISIN, ALSIP, MiMI, Takamatsu, Japan, December 1-2, 2011. Revised Selected Papers /
Published: (2012)

Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings /
Published: (2015)

Advanced Data Mining and Applications 10th International Conference, ADMA 2014, Guilin, China, December 19-21, 2014, Proceedings /
Published: (2014)

Artificial Intelligence: Methodology, Systems, and Applications 13th International Conference, AIMSA 2008, Varna, Bulgaria, September 4-6, 2008, Proceedings /
Published: (2008)

Big Data Analytics in the Social and Ubiquitous Context 5th International Workshop on Modeling Social Media, MSM 2014, 5th International Workshop on Mining Ubiquitous and Social Environments, MUSE 2014, and First International Workshop on Machine Learning for Urban Sensor Data, SenseML 2014, Revised Selected Papers /
Published: (2016)

Intelligent Information and Database Systems 7th Asian Conference, ACIIDS 2015, Bali, Indonesia, March 23-25, 2015, Proceedings, Part I /
Published: (2015)

Intelligent Information and Database Systems 7th Asian Conference, ACIIDS 2015, Bali, Indonesia, March 23-25, 2015, Proceedings, Part II /
Published: (2015)

Modeling Decisions for Artificial Intelligence 7th International Conference, MDAI 2010, Perpignan, France, October 27-29, 2010, Proceedings /
Published: (2010)

AI 2010: Advances in Artificial Intelligence 23rd Australasian Joint Conference, Adelaide, Australia, December 7-10, 2010. Proceedings /
Published: (2011)

Knowledge Management and Acquisition for Intelligent Systems 14th Pacific Rim Knowledge Acquisition Workshop, PKAW 2016, Phuket, Thailand, August 22-23, 2016, Proceedings /
Published: (2016)

Artificial Intelligence Applications and Innovations 6th IFIP WG 12.5 International Conference, AIAI 2010, Larnaca, Cyprus, October 6-7, 2010, Proceedings /
Published: (2010)

PRICAI 2012: Trends in Artificial Intelligence 12th Pacific Rim International Conference, Kuching, Malaysia, September 3-7, 2012. Proceedings /
Published: (2012)

Scalable Uncertainty Management 5th International Conference, SUM 2011, Dayton, OH, USA, October 10-13, 2011, Proceedings /
Published: (2011)

PRICAI 2014: Trends in Artificial Intelligence 13th Pacific Rim International Conference on Artificial Intelligence, PRICAI 2014, Gold Coast, QLD, Australia, December 1-5, 2014, Proceedings /
Published: (2014)

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

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

Computer Science for Environmental Engineering and EcoInformatics International Workshop, CSEEE 2011, Kunming, China, July 29-30, 2011. Proceedings, Part I /
Published: (2011)

Computer Science for Environmental Engineering and EcoInformatics International Workshop, CSEEE 2011, Kunming, China, July 29-30, 2011. Proceedings, Part II /
Published: (2011)

Discovery Science 16th International Conference, DS 2013, Singapore, October 6-9, 2013, Proceedings /
Published: (2013)