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
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| 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 |
Serie:
Lecture Notes in Artificial Intelligence ; ; 9150