Willkommen, schön sind Sie da!
Logo Ex Libris

Intelligent Computer Mathematics

  • Kartonierter Einband
  • 272 Seiten
(0) Erste Bewertung abgeben
Bewertungen
(0)
(0)
(0)
(0)
(0)
Alle Bewertungen ansehen
This book constitutes the refereed proceedings of the 14th International Conference on Intelligent Computer Mathematics, CICM 2021... Weiterlesen
20%
84.00 CHF 67.20
Sie sparen CHF 16.80
Print on Demand - Auslieferung erfolgt in der Regel innert 4 bis 6 Wochen.
Bestellung & Lieferung in eine Filiale möglich

Beschreibung

This book constitutes the refereed proceedings of the 14th International Conference on Intelligent Computer Mathematics, CICM 2021, held in Timisoara, Romania, in July 2021*.

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.



Inhalt
Formalizations.- Automatic Theorem Proving and Machine Learning.- Search and Classification.- Teaching and Geometric Reasoning.- Logic and Systems.- Abstracts of Invited Speakers.

Produktinformationen

Titel: Intelligent Computer Mathematics
Untertitel: 14th International Conference, CICM 2021, Timisoara, Romania, July 26-31, 2021, Proceedings
Editor:
EAN: 9783030810962
ISBN: 3030810968
Format: Kartonierter Einband
Herausgeber: Springer International Publishing
Anzahl Seiten: 272
Gewicht: 417g
Größe: H235mm x B155mm x T14mm
Jahr: 2021
Untertitel: Englisch
Auflage: 1st ed. 2021

Weitere Produkte aus der Reihe "Lecture Notes in Computer Science"