Produktnummer:
18a4779aedccc14ab7a075b56314c2cb42
| Themengebiete: | artificial intelligence computer systems databases education formal languages formal logic knowledge-based system libraries linguistics machine learning |
|---|---|
| Veröffentlichungsdatum: | 18.07.2020 |
| EAN: | 9783030535179 |
| Sprache: | Englisch |
| Seitenzahl: | 337 |
| Produktart: | Kartoniert / Broschiert |
| Herausgeber: | Benzmüller, Christoph Miller, Bruce |
| Verlag: | Springer International Publishing |
| Untertitel: | 13th International Conference, CICM 2020, Bertinoro, Italy, July 26–31, 2020, Proceedings |
Produktinformationen "Intelligent Computer Mathematics"
This book constitutes the refereed proceedings of the 13th International Conference on Intelligent Computer Mathematics, CICM 2020, held in Bertinoro, Italy, in July 2020*.The 15 full papers, 1 invited paper and 2 abstracts of invited papers presented were carefully reviewed and selected from a total of 35 submissions. The papers focus on advances in automated theorem provers and formalization, computer algebra systems and their libraries, and applications of machine learning, among other topics. * The conference was held virtually due to the COVID-19 pandemic.
Sie möchten lieber vor Ort einkaufen?
Sie haben Fragen zu diesem oder anderen Produkten oder möchten einfach gerne analog im Laden stöbern? Wir sind gerne für Sie da und beraten Sie auch telefonisch.
Juristische Fachbuchhandlung
Georg Blendl
Parcellistraße 5 (Maxburg)
8033 München
Montag - Freitag: 8:15 -18 Uhr
Samstags geschlossen