Udvidet returret til d. 31. januar 2025

Intelligent Computer Mathematics

Bag om 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.

Vis mere
  • Sprog:
  • Engelsk
  • ISBN:
  • 9783031427527
  • Indbinding:
  • Paperback
  • Sideantal:
  • 344
  • Udgivet:
  • 31. august 2023
  • Udgave:
  • 23001
  • Størrelse:
  • 155x19x235 mm.
  • Vægt:
  • 522 g.
  • BLACK WEEK
  Gratis fragt
Leveringstid: 8-11 hverdage
Forventet levering: 9. december 2024

Beskrivelse af 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.

Brugerbedømmelser af Intelligent Computer Mathematics



Gør som tusindvis af andre bogelskere

Tilmeld dig nyhedsbrevet og få gode tilbud og inspiration til din næste læsning.