Cover Image

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

This book constitutes the joint refereed proceedings of Calculemus 2014, Digital Mathematics Libraries, DML 2014, Mathematical Knowledge Management, MKM 2014, and Systems and Projects, S&P 2014, held in Coimbra, Portugal, during July 7-11, 2014 as four tracks of CICM 2014, the Conferences on Int...

Full description

Corporate Author: SpringerLink (Online service)
Other Authors: Watt, Stephen M. (Editor, http://id.loc.gov/vocabulary/relators/edt), Sexton, Alan. (Editor, http://id.loc.gov/vocabulary/relators/edt), Davenport, James H. (Editor, http://id.loc.gov/vocabulary/relators/edt), Sojka, Petr. (Editor, http://id.loc.gov/vocabulary/relators/edt), Urban, Josef. (Editor, http://id.loc.gov/vocabulary/relators/edt)
Language:English
Published: Cham : Springer International Publishing : Imprint: Springer, 2014.
Edition:1st ed. 2014.
Series:Lecture Notes in Artificial Intelligence ; 8543
Subjects:
Computer science—Mathematics.
Artificial intelligence.
Mathematical logic.
Natural language processing (Computer science).
Information storage and retrieval.
Symbolic and Algebraic Manipulation.
Artificial Intelligence.
Math Applications in Computer Science.
Mathematical Logic and Formal Languages.
Natural Language Processing (NLP).
Information Storage and Retrieval.
Online Access:https://doi.org/10.1007/978-3-319-08434-3

Internet

https://doi.org/10.1007/978-3-319-08434-3

Similar Items