Große Auswahl an günstigen Büchern
Schnelle Lieferung per Post und DHL

Intelligent Computer Mathematics

Über Intelligent Computer Mathematics

This book constitutes the refereed proceedings of the 16th International Conference on Intelligent Computer Mathematics, CICM 2023, held in Cambridge, UK, in September 2023. The 14 full papers, 2 project/survey papers, 6 short papers, and 1 tool paper presented were carefully reviewed and selected from a total of 37 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.

Mehr anzeigen
  • Sprache:
  • Englisch
  • ISBN:
  • 9783031427527
  • Einband:
  • Taschenbuch
  • Seitenzahl:
  • 344
  • Veröffentlicht:
  • 31. August 2023
  • Ausgabe:
  • 23001
  • Abmessungen:
  • 155x19x235 mm.
  • Gewicht:
  • 522 g.
  Versandkostenfrei
  Versandfertig in 1-2 Wochen.
Verlängerte Rückgabefrist bis 31. Januar 2025
  •  

    Keine Lieferung vor Weihnachten möglich.
    Kaufen Sie jetzt und drucken Sie einen Gutschein aus

Beschreibung von Intelligent Computer Mathematics

This book constitutes the refereed proceedings of the 16th International Conference on Intelligent Computer Mathematics, CICM 2023, held in Cambridge, UK, in September 2023.
The 14 full papers, 2 project/survey papers, 6 short papers, and 1 tool paper presented were carefully reviewed and selected from a total of 37 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.

Kund*innenbewertungen von Intelligent Computer Mathematics



Ähnliche Bücher finden
Das Buch Intelligent Computer Mathematics ist in den folgenden Kategorien erhältlich:

Willkommen bei den Tales Buchfreunden und -freundinnen

Jetzt zum Newsletter anmelden und tolle Angebote und Anregungen für Ihre nächste Lektüre erhalten.