bokomslag Intelligent Computer Mathematics
Data & IT

Intelligent Computer Mathematics

Catherine Dubois Manfred Kerber

Pocket

969:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 5-10 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

  • 324 sidor
  • 2023
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.
  • Författare: Catherine Dubois, Manfred Kerber
  • Format: Pocket/Paperback
  • ISBN: 9783031427527
  • Språk: Engelska
  • Antal sidor: 324
  • Utgivningsdatum: 2023-08-31
  • Förlag: Springer International Publishing AG