Intelligent computer mathematics : MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings /

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...

Spremljeno u:

Bibliografski detalji
Autor kompanije:	SpringerLink (Online service)
Daljnji autori:	Aspinall, David, Lange, Christoph, Sojka, Petr, Windsteiger, Wolfgang, Carette, Jacques
Format:	e-knjiga
Jezik:	English
Izdano:	Berlin, Heidelberg Springer Berlin Heidelberg 2013.
Serija:	Lecture Notes in Computer Science 7961
Teme:	Computer science. Algebra > Data processing. Information storage and retrieval systems. Artificial intelligence. Text processing (Computer science).
Online pristup:	Click here to view the full text content
Oznake:	Dodaj oznaku Bez oznaka, Budi prvi tko označuje ovaj zapis!

Similar Items

Intelligent computer mathematics : International Conference, CICM 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings /
Izdano: (2014)

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 /
Izdano: (2012)

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 /
Izdano: (2014)

Bridging between cultural heritage institutions : 9th Italian Research Conference, IRCDL 2013, Rome, Italy, January 31-February 1, 2013, Revised Selected Papers /
Izdano: (2014)

Intelligent computer mathematics 16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009, Held as Part of CICM 2009, Grand Bend, Canada, July 6-12, 2009. Proceedings /
Izdano: (2009)

Digital libraries: social media and community networks : 15th international conference on Asia-Pacific Digital Libraries, ICADL 2013, Bangalore, India, December 9-11, 2013. Proceedings /
Izdano: (2013)

Computational linguistics and intelligent text processing : 16th International Conference, CICLing 2015, Cairo, Egypt, April 14-20, 2015, Proceedings, Part I /
Izdano: (2015)

Computational linguistics and intelligent text processing : 16th International Conference, CICLing 2015, Cairo, Egypt, April 14-20, 2015, Proceedings, Part II /
Izdano: (2015)

Artificial intelligence and symbolic computation : 12th International Conference, AISC 2014, Seville, Spain, December 11-13, 2014. Proceedings /
Izdano: (2014)

Computational linguistics and intelligent text processing (vol. # 3878) : 7th International Conference, CICLing 2006, Mexico City, Mexico, February 19-25, 2006, Proceedings /
Izdano: (2006)

Metadata and semantics research : 8th Research Conference, MTSR 2014, Karlsruhe, Germany, November 27-29, 2014. Proceedings /
Izdano: (2014)

The semantic web - ISWC 2014 : 13th International Semantic Web Conference, Riva del Garda, Italy, October 19-23, 2014. Proceedings, Part I /
Izdano: (2014)

The semantic web - ISWC 2014 : 13th International Semantic Web Conference, Riva del Garda, Italy, October 19-23, 2014. Proceedings, Part II /
Izdano: (2014)

Digital libraries: implementing strategies and sharing experiences 8th International Conference on Asian digital libraries, ICADL 2005, Bangkok, Thailand, December 12-15, 2005, Proceedings
Izdano: (2005)

Quantum interaction : 7th International Conference, QI 2013, Leicester, UK, July 25-27, 2013. Selected Papers /
Izdano: (2014)

Canadian semantic web technologies and applications /
Izdano: (2010)

Annotating, extracting and reasoning about time and events : International Seminar, Dagstuhl Castle, Germany, April 10-15, 2005. Revised Papers /
Izdano: (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 /

Intelligent document retrieval exploiting markup structure /
od: Kruschwitz, Udo
Izdano: (2005)

Advances in open domain question answering /

Controlled natural language : 4th International Workshop, CNL 2014, Galway, Ireland, August 20-22, 2014. Proceedings /
Izdano: (2014)

Controlled natural language Third International Workshop, CNL 2012, Zurich, Switzerland, August 29-31, 2012. proceedings /
Izdano: (2012)

Controlled natural language : Second international workshop, CNL 2010, Marettimo Island, Italy, September 13-15, 2010. Revised papers /
Izdano: (2012)

Intelligent interactive technologies and multimedia : Second International Conference, IITM 2013, Allahabad, India, March 9-11, 2013. Proceedings /
Izdano: (2013)

Research and advanced technology for digital libraries : International Conference on Theory and Practice of Digital Libraries, TPDL 2013, Valletta, Malta, September 22-26, 2013. Proceedings /
Izdano: (2013)

Multilingual information access in South Asian Languages : Second International Workshop, FIRE 2010, Gandhinagar, India, February 19-21, 2010 and Third International Workshop, FIRE 2011, Bombay, India, December 2-4, 2011, Revised Selected Papers /
Izdano: (2013)

The emergence of digital libraries - research and practices : 16th International Conference on Asia-Pacific Digital Libraries, ICADL 2014, Chiang Mai, Thailand, November 5-7, 2014. Proceedings /
Izdano: (2014)

KI 2013: Advances in artificial intelligence : 36th Annual German Conference on AI, Koblenz, Germany, September 16-20, 2013. Proceedings /
Izdano: (2013)

Artificial intelligence and soft computing : 12th International Conference, ICAISC 2013, Zakopane, Poland, June 9-13, 2013, Proceedings, Part II /
Izdano: (2013)

Artificial intelligence and soft computing : 12th International Conference, ICAISC 2013, Zakopane, Poland, June 9-13, 2013, Proceedings, Part I /
Izdano: (2013)

Virtual augmented and mixed reality. Designing and developing augmented and virtual environments : 5th International Conference, VAMR 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part I /
Izdano: (2013)

Computational linguistics and intelligent text processing 10th International Conference, CICLing 2009, Mexico City, Mexico, March 1-7, 2009. Proceedings /
Izdano: (2009)

Multilingual information retrieval : From research to practice /
od: Peters, Carol
Izdano: (2012)

Hybrid artificial intelligent systems : 8th International Conference, HAIS 2013, Salamanca, Spain, September 11-13, 2013. Proceedings /
Izdano: (2013)

Knowledge and information visualization / searching for synergies
Izdano: (2005)

Natural language processing - IJCNLP 2004 first international joint conference, Hainan Island, China, March 22-24, 2004, revised selected papers
Izdano: (2005)

Natural language processing - IJCNLP 2005 : Second International Joint Conference, Jeju Island, Korea, October 11-13, 2005, Proceedings /

Design, user experience, and usability. web, mobile, and product design : Second International Conference, DUXU 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part IV /
Izdano: (2013)

Design, user experience, and usability. Design hhilosophy, methods, and tools Second International Conference, DUXU 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part I /
Izdano: (2013)

User modeling, adaptation, and personalization : 21th International Conference, UMAP 2013, Rome, Italy, June 10-14, 2013 Proceedings /
Izdano: (2013)