Intelligent Computer Mathematics / Lecture Notes in Computer Science Bd.12236 (PDF)
13th International Conference, CICM 2020, Bertinoro, Italy, July 26-31, 2020, Proceedings
(Sprache: Englisch)
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...
The 15 full papers, 1 invited paper and 2 abstracts of invited papers...
sofort als Download lieferbar
eBook (pdf)
54.99 €
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenloser tolino webreader
Produktdetails
Produktinformationen zu „Intelligent Computer Mathematics / Lecture Notes in Computer Science Bd.12236 (PDF)“
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.
Bibliographische Angaben
- 2020, 1st ed. 2020, 337 Seiten, Englisch
- Herausgegeben: Christoph Benzmüller, Bruce Miller
- Verlag: Springer-Verlag GmbH
- ISBN-10: 3030535185
- ISBN-13: 9783030535186
- Erscheinungsdatum: 17.07.2020
Abhängig von Bildschirmgröße und eingestellter Schriftgröße kann die Seitenzahl auf Ihrem Lesegerät variieren.
eBook Informationen
- Dateiformat: PDF
- Größe: 14 MB
- Ohne Kopierschutz
- Vorlesefunktion
Sprache:
Englisch
Kommentar zu "Intelligent Computer Mathematics / Lecture Notes in Computer Science Bd.12236"
Schreiben Sie einen Kommentar zu "Intelligent Computer Mathematics / Lecture Notes in Computer Science Bd.12236".
Kommentar verfassen