Vai al contenuto principale della pagina
Titolo: |
Intelligent Computer Mathematics : International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings. / / edited by Manfred Kerber, Jacques Carette, Cezary Kaliszyk, Florian Rabe, Volker Sorge
![]() |
Pubblicazione: | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
Edizione: | 1st ed. 2015. |
Descrizione fisica: | 1 online resource (XXI, 359 p. 84 illus.) |
Disciplina: | 006.30151 |
Soggetto topico: | Computer science—Mathematics |
Artificial intelligence | |
Mathematical logic | |
Natural language processing (Computer science) | |
Information storage and retrieval | |
Math Applications in Computer Science | |
Artificial Intelligence | |
Symbolic and Algebraic Manipulation | |
Mathematical Logic and Formal Languages | |
Natural Language Processing (NLP) | |
Information Storage and Retrieval | |
Persona (resp. second.): | KerberManfred |
CaretteJacques | |
KaliszykCezary | |
RabeFlorian | |
SorgeVolker | |
Note generali: | Bibliographic Level Mode of Issuance: Monograph |
Nota di contenuto: | Invited Talks -- Calculemus -- Digital Mathematics Libraries -- Mathematical Knowledge Management -- Projects and Surveys -- Systems and Data. |
Sommario/riassunto: | This book constitutes the refereed proceedings of the International Conference on Intelligent Computer Mathematics, CICM 2015, held in Washington, DC, USA, in July 2015. The 16 full papers and 9 short papers presented together with two invited talks plus one abstract were carefully reviewed and selected from a total of 43 submissions. The papers are organized in topical sections following the tracks of the conference: Invited Talks; Calculemus; Digital Mathematics Libraries; Mathematical Knowledge Management; Projects and Surveys; Systems and Data. |
Titolo autorizzato: | Intelligent Computer Mathematics ![]() |
ISBN: | 3-319-20615-X |
Formato: | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione: | Inglese |
Record Nr.: | 9910484373003321 |
Lo trovi qui: | Univ. Federico II |
Opac: | Controlla la disponibilità qui |