Další formáty:
BibTeX
LaTeX
RIS
@misc{1211595, author = {Watt, Stephen M. and Sexton, Alan P. and Davenport, James H. and Sojka, Petr and Urban, Josef}, address = {Coimbra}, booktitle = {LNCS/LNAI Volume 8543}, doi = {http://dx.doi.org/10.1007/978-3-319-08434-3}, edition = {první}, keywords = {mathematics knowledge management; Intelligent Computer Mathematics; DML; MKM; AISC; Calculemus}, language = {eng}, location = {Coimbra}, isbn = {978-3-319-08433-6}, publisher = {Springer}, title = {Intelligent Computer Mathematics, International Conference, CICM 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings}, url = {http://link.springer.com/book/10.1007/978-3-319-08434-3}, year = {2014} }
TY - JOUR ID - 1211595 AU - Watt, Stephen M. - Sexton, Alan P. - Davenport, James H. - Sojka, Petr - Urban, Josef PY - 2014 TI - Intelligent Computer Mathematics, International Conference, CICM 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings PB - Springer CY - Coimbra SN - 9783319084336 KW - mathematics knowledge management KW - Intelligent Computer Mathematics KW - DML KW - MKM KW - AISC KW - Calculemus UR - http://link.springer.com/book/10.1007/978-3-319-08434-3 L2 - http://link.springer.com/book/10.1007/978-3-319-08434-3 N2 - 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 Intelligent Computer Mathematics. The 26 full papers and 9 Systems and Projects descriptions presented together with 5 invited talks were carefully reviewed and selected from a total of 55 submissions. The Calculemus track of CICM examines the integration of symbolic computation and mechanized reasoning. The Digital Mathematics Libraries track - evolved from the DML workshop series - features math-aware technologies, standards, algorithms and processes towards the fulfillment of the dream of a global DML. The Mathematical Knowledge Management track of CICM is concerned with all aspects of managing mathematical knowledge in the informal, semi-formal, and formal settings. The Systems and Projects track presents short descriptions of existing systems or on-going projects in the areas of all the other tracks of the conference. Content Level » Research Keywords » formal methods - machine learning - natural language processing - search interface - similarity measures - support vector machine - theorem proving and SAT solving Related subjects » Artificial Intelligence - Database Management & Information Retrieval - Theoretical Computer Science ER -
WATT, Stephen M., Alan P. SEXTON, James H. DAVENPORT, Petr SOJKA a Josef URBAN. Intelligent Computer Mathematics, International Conference, CICM 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings. In \textit{LNCS/LNAI Volume 8543}. první. Coimbra: Springer, 2014, 477 s. ISBN~978-3-319-08433-6. Dostupné z: https://dx.doi.org/10.1007/978-3-319-08434-3.
|