Intelligent Computer Mathematics / Lecture Notes in Computer Science Bd.12236 (PDF)
The 15 full papers, 1 invited paper and 2 abstracts of invited papers...
26 DeutschlandCard Punkte sammeln
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenloser tolino webreader
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.
- 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.
- Dateiformat: PDF
- Größe: 14 MB
- Ohne Kopierschutz
- Vorlesefunktion
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Intelligent Computer Mathematics / Lecture Notes in Computer Science Bd.12236".
Kommentar verfassen