Intelligent Computer Mathematics / Lecture Notes in Computer Science Bd.12833 (PDF)
The 12 full papers, 7 system descriptions, 1 system entry, and 3...
26 DeutschlandCard Punkte sammeln
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenloser tolino webreader
The 12 full papers, 7 system descriptions, 1 system entry, and 3 abstracts of invited papers presented were carefully reviewed and selected from a total of 38 submissions. The papers focus on advances in formalization, automatic theorem proving and learning, search and classification, teaching and geometric reasoning, and logic and systems, among other topics.
* The conference was held virtually due to the COVID-19 pandemic.
- 2021, 1st ed. 2021, 249 Seiten, Englisch
- Herausgegeben: Fairouz Kamareddine, Claudio Sacerdoti Coen
- Verlag: Springer International Publishing
- ISBN-10: 3030810976
- ISBN-13: 9783030810979
- Erscheinungsdatum: 20.07.2021
Abhängig von Bildschirmgröße und eingestellter Schriftgröße kann die Seitenzahl auf Ihrem Lesegerät variieren.
- Dateiformat: PDF
- Größe: 10 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.12833".
Kommentar verfassen