|  |
| |
| Artikel-Nr.:
858A-9783319425467 Herst.-Nr.:
9783319425467 EAN/GTIN:
9783319425467 |
| |
|
| | |
| This book constitutes the refereed proceedings of the 9th International Conference on Intelligent Computer Mathematics, CICM 2016, held in Bialystok, Poland, in July 2016.The 10 full papers and 2 short papers presented were carefully reviewed and selectedfrom a total of 41 submissions. The papers are organized in topical sections according to the five tracks of the conference: Calculemus; Digital Mathematics Libraries; Mathematical Knowledge Management; Surveys and Projects; and Systems and Data. Weitere Informationen: | | Author: | Michael Kohlhase; Moa Johansson; Bruce Miller; Leonardo de Moura; Frank Tompa | Verlag: | Springer International Publishing | Sprache: | eng |
|
| | |
| | | |
| Weitere Suchbegriffe: Datenbanken (Fachbücher), Datenbankenbücher, datenbanken (fachbücher), Intelligenz / Künstliche Intelligenz, KI, Künstliche Intelligenz - AI, computational logic, computer algebra systems, higher-order logic, model checking, symbolic computation, automated reasoning, automated theorem proving, computer-supported theory exploration |
| | |
| |