Cargando…

Intelligent Computer Mathematics MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013, Proceedings /

This book constitutes the joint refereed proceedings of the 20th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2013, 6th International Workshop on Digital Mathematics Libraries, DML 2013, Systems and Projects, held in Bath, UK as part of CICM 2013, the Co...

Descripción completa

Detalles Bibliográficos
Clasificación:	Libro Electrónico
Autor Corporativo:	SpringerLink (Online service)
Otros Autores:	Carette, Jacques (Editor ), Aspinall, David (Editor ), Lange, Christoph (Editor ), Sojka, Petr (Editor ), Windsteiger, Wolfgang (Editor )
Formato:	Electrónico eBook
Idioma:	Inglés
Publicado:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013.
Edición:	1st ed. 2013.
Colección:	Lecture Notes in Artificial Intelligence, 7961
Temas:	Computer science-Mathematics. Artificial intelligence. Machine theory. Natural language processing (Computer science). Information storage and retrieval systems. Symbolic and Algebraic Manipulation. Artificial Intelligence. Mathematical Applications in Computer Science. Formal Languages and Automata Theory. Natural Language Processing (NLP). Information Storage and Retrieval.
Acceso en línea:	Texto Completo

Ejemplares similares

Intelligent Computer Mathematics CICM 2014 Joint Events: Calculemus, DML, MKM, and Systems and Projects 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings /
Publicado: (2014)

Intelligent Computer Mathematics International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings. /
Publicado: (2015)

Computational Linguistics and Intelligent Text Processing 9th International Conference, CICLing 2008, Haifa, Israel, February 17-23, 2008, Proceedings /
Publicado: (2008)

Controlled Natural Language 4th International Workshop, CNL 2014, Galway, Ireland, August 20-22, 2014, Proceedings /
Publicado: (2014)

Computational Linguistics and Intelligent Text Processing 7th International Conference, CICLing 2006, Mexico City, Mexico, February 19-25, 2006, Proceedings /
Publicado: (2006)

Advances in Natural Language Processing 5th International Conference, FinTAL 2006 Turku, Finland, August 23-25, 2006 Proceedings /
Publicado: (2006)

Computational Linguistics and Intelligent Text Processing 8th International Conference, CICLing 2007, Mexico City, Mexico, February 18-24, 2007, Proceedings /
Publicado: (2007)

Computational Linguistics and Intelligent Text Processing 6th International Conference, CICLing 2005, Mexico City, Mexico, February 13-19, 2005, Proceedings /
Publicado: (2005)

Natural Language Processing - IJCNLP 2004 First International Joint Conference, Hainan Island, China, March 22-24, 2004, Revised Selected Papers /
Publicado: (2005)

Natural Language Processing - IJCNLP 2005 Second International Joint Conference, Jeju Island, Korea, October 11-13, 2005, Proceedings /
Publicado: (2005)

Chinese Lexical Semantics 17th Workshop, CLSW 2016, Singapore, Singapore, May 20-22, 2016, Revised Selected Papers /
Publicado: (2016)

Chinese Lexical Semantics 16th Workshop, CLSW 2015, Beijing, China, May 9-11, 2015, Revised Selected Papers /
Publicado: (2015)

Controlled Natural Language Second International Workshop, CNL 2010, Marettimo Island, Italy, September 13-15, 2010. Revised Papers /
Publicado: (2012)

Controlled Natural Language Third International Workshop, CNL 2012, Zurich, Switzerland, August 29-31, 2012, Proceedings /
Publicado: (2012)

Intelligent Computer Mathematics 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012, Proceedings /
Publicado: (2012)

Computational Processing of the Portuguese Language 7th International Workshop, PROPOR 2006, Itatiaia, Brazil, May 13-17, 2006, Proceedings /
Publicado: (2006)

Natural Language Processing and Information Systems 21st International Conference on Applications of Natural Language to Information Systems, NLDB 2016, Salford, UK, June 22-24, 2016, Proceedings /
Publicado: (2016)

Annotating, Extracting and Reasoning about Time and Events International Seminar, Dagstuhl Castle, Germany, April 20-15, 2005, Revised Papers /
Publicado: (2007)

Computational Processing of the Portuguese Language 8th International Conference, PROPOR 2008 Aveiro, Portugal, September 8-10, 2008, Proceedings /
Publicado: (2008)

Advances in Natural Language Processing 6th International Conference, GoTAL 2008, Gothenburg, Sweden, August 25-27, 2008, Proceedings /
Publicado: (2008)

Semantic Technology 5th Joint International Conference, JIST 2015, Yichang, China, November 11-13, 2015, Revised Selected Papers /
Publicado: (2016)

KI 2009: Advances in Artificial Intelligence 32nd Annual German Conference on AI, Paderborn, Germany, September 15-18, 2009, Proceedings /
Publicado: (2009)

KI 2008: Advances in Artificial Intelligence 31st Annual German Conference on AI, KI 2008, Kaiserslautern, Germany, September 23-26, 2008, Proceedings /
Publicado: (2008)

OMDoc -- An Open Markup Format for Mathematical Documents [version 1.2] Foreword by Alan Bundy /
por: Kohlhase, Michael
Publicado: (2006)

Theory and Practice of Digital Libraries -- TPDL 2013 Selected Workshops LCPD 2013, SUEDL 2013, DataCur 2013, Held in Valletta, Malta, September 22-26, 2013. Revised Selected Papers /
Publicado: (2014)

Language, Culture, Computation: Computing - Theory and Technology Essays Dedicated to Yaacov Choueka on the Occasion of His 75 Birthday, Part I /
Publicado: (2014)

Language, Culture, Computation: Computational Linguistics and Linguistics Essays Dedicated to Yaacov Choueka on the Occasion of His 75 Birthday, Part III /
Publicado: (2014)

Language, Culture, Computation: Computing for the Humanities, Law, and Narratives Essays Dedicated to Yaacov Choueka on the Occasion of His 75 Birthday, Part II /
Publicado: (2014)

Artificial Intelligence and Symbolic Computation 12th International Conference, AISC 2014, Seville, Spain, December 11-13, 2014. Proceedings /
Publicado: (2014)

The Semantic Web - ISWC 2013 12th International Semantic Web Conference, Sydney, NSW, Australia, October 21-25, 2013, Proceedings, Part I /
Publicado: (2013)

The Semantic Web - ISWC 2013 12th International Semantic Web Conference, Sydney, NSW, Australia, October 21-25, 2013, Proceedings, Part II /
Publicado: (2013)

Automatic Processing of Natural-Language Electronic Texts with NooJ 9th International Conference, NooJ 2015, Minsk, Belarus, June 11-13, 2015, Revised Selected Papers /
Publicado: (2016)

Human Language Technology. Challenges for Computer Science and Linguistics 6th Language and Technology Conference, LTC 2013, Poznań, Poland, December 7-9, 2013. Revised Selected Papers /
Publicado: (2016)

Multilingual Information Access for Text, Speech and Images 5th Workshop of the Cross-Language Evaluation Forum, CLEF 2004, Bath, UK, September 15-17, 2004, Revised Selected Papers /
Publicado: (2005)

Journeys to Data Mining Experiences from 15 Renowned Researchers /
Publicado: (2012)

Representation and Management of Narrative Information Theoretical Principles and Implementation /
por: Zarri, Gian Piero
Publicado: (2009)

Semantic Domains in Computational Linguistics
por: Gliozzo, Alfio, et al.
Publicado: (2009)

Machine Translation Its Scope and Limits /
por: Wilks, Yorick
Publicado: (2009)

Knowledge Discovery in Databases: PKDD 2007 11th European Conference on Principles and Practice of Knowledge Discovery in Databases, Warsaw, Poland, September 17-21, 2007, Proceedings /
Publicado: (2007)

Knowledge Discovery in Databases: PKDD 2005 9th European Conference on Principles and Practice of Knowledge Discovery in Databases, Porto, Portugal, October 3-7, 2005, Proceedings /
Publicado: (2005)

Cannot write session to /tmp/vufind_sessions/sess_ac3icabnvi93si1it7iqhh0kpg